Implementing a typed assembly language and its machine model

Medel, Ricardo et al · SEDICI UNLP · 2002

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Medel, Ricardo et al

Editore

SEDICI UNLP

Anno

2002

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

Descripción general del contenido del recurso.

We describe the implementation of a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of different types Linear typing ensures the single pointer property, disallowing aliasing, but allowing safe in-place-update compilation of a functional programming language. HBAL was designed as a target low-level language for Hofmann’s LFPL programs [5] that run in a bounded amount of heap space Eje: FPGA Red de Universidades con Carreras en Informática (RedUNCI)

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Medel, R. E. A. (2002). Implementing a typed assembly language and its machine model. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23037

MLA

Medel, Ricardo et al. Implementing a typed assembly language and its machine model. SEDICI UNLP, 2002. http://sedici.unlp.edu.ar/handle/10915/23037.

Chicago

Medel, Ricardo et al. 2002. Implementing a typed assembly language and its machine model. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23037.

Harvard

Medel, R. E. A. 2002, Implementing a typed assembly language and its machine model, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23037 [Accessed 10 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Implementing a typed assembly language and its machine model

Autore / collaboratori: Medel, Ricardo et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2002

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

Ciencias Informáticas; Languages; Programming languages; type systems; typed assembly languages; compilers; resources awareness