Busque entre los 156185 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-10-26T14:30:24Z | |
dc.date.available | 2012-10-26T14:30:24Z | |
dc.date.issued | 2002-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23037 | |
dc.description.abstract | 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 | en |
dc.format.extent | 698-709 | es |
dc.language | en | es |
dc.subject | Languages | es |
dc.subject | Programming languages | en |
dc.subject | type systems | en |
dc.subject | typed assembly languages | en |
dc.subject | compilers | en |
dc.subject | resources awareness | en |
dc.title | Implementing a typed assembly language and its machine model | en |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Medel, Ricardo | es |
sedici.creator.person | Lucotte, Matthieu | es |
sedici.description.note | Eje: FPGA | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2002-10 | |
sedici.relation.event | VIII Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |