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
id I19-R120-10915-23037
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Languages
Programming languages
type systems
typed assembly languages
compilers
resources awareness
spellingShingle Ciencias Informáticas
Languages
Programming languages
type systems
typed assembly languages
compilers
resources awareness
Medel, Ricardo
Lucotte, Matthieu
Implementing a typed assembly language and its machine model
topic_facet Ciencias Informáticas
Languages
Programming languages
type systems
typed assembly languages
compilers
resources awareness
description 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
format Objeto de conferencia
Objeto de conferencia
author Medel, Ricardo
Lucotte, Matthieu
author_facet Medel, Ricardo
Lucotte, Matthieu
author_sort Medel, Ricardo
title Implementing a typed assembly language and its machine model
title_short Implementing a typed assembly language and its machine model
title_full Implementing a typed assembly language and its machine model
title_fullStr Implementing a typed assembly language and its machine model
title_full_unstemmed Implementing a typed assembly language and its machine model
title_sort implementing a typed assembly language and its machine model
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/23037
work_keys_str_mv AT medelricardo implementingatypedassemblylanguageanditsmachinemodel
AT lucottematthieu implementingatypedassemblylanguageanditsmachinemodel
bdutipo_str Repositorios
_version_ 1764820468005601282

Ejemplares similares