Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Implementing a typed assembly language and its machine model

2002
 
Tipo de documento: Objeto de conferencia

Resumen

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

Notas

Eje: FPGA

Información general

Fecha de exposición: octubre 2002
Fecha de publicación: octubre 2002
Idioma del documento: Inglés
Evento: VIII Congreso Argentino de Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)
Páginas: 698-709

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (262.1Kb) - PDF
 
Creado el: 26 de octubre de 2012
Disponible en SEDICI desde: 26 de octubre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/23037

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)