Implementing a typed assembly language and its machine model

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 prog...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Medel, Ricardo, Lucotte, Matthieu
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
Languages
Programming languages
type systems
typed assembly languages
compilers
resources awareness
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23037
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares