Show simple item record

A certified extension of the Krivine machine for a call-by-name higher-order imperative language

dc.contributor.authorRodríguez, Leonardo Matías
dc.contributor.authorFridlender, Daniel Edgardo
dc.contributor.authorPagano, Miguel María
dc.date.accessioned2022-12-29T14:21:23Z
dc.date.available2022-12-29T14:21:23Z
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/11086/30119
dc.description.abstractIn this paper we present a compiler that translates programs from an imperative higher-order language into a sequence of instructions for an abstract machine. We consider an extension of the Krivine machine for the call-by-name lambda calculus, which includes strict operators and imperative features. We show that the compiler is correct with respect to the big-step semantics of our language, both for convergent and divergent programs.en
dc.description.urihttp://drops.dagstuhl.de/opus/volltexte/2014/4634
dc.format.mediumElectrónico y/o Digital
dc.language.isoenges
dc.rightsAttribution 3.0 Unported (CC BY 3.0)*
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/*
dc.sourcee-ISSN 1868-8969
dc.subjectAbstract machinesen
dc.subjectCompiler correctnessen
dc.subjectBig-step semanticsen
dc.subjectAlgol like languageen
dc.subjectCall by nameen
dc.subjectKrivine machineen
dc.titleA certified extension of the Krivine machine for a call-by-name higher-order imperative languageen
dc.typearticlees
dc.description.versionpublishedVersiones
dc.description.filFil: Rodríguez, Leonardo Matías. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.es
dc.description.filFil: Fridlender, Daniel Edgardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.es
dc.description.filFil: Pagano, Miguel María. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.es
dc.journal.citySaarbrückenes
dc.journal.countryAlemaniaes
dc.journal.editorialSchloss Dagstuhles
dc.journal.pagination230-250
dc.journal.referatoCon referato
dc.journal.titleLeibniz International Proceedings in Informaticsen
dc.journal.volume26es
dc.description.fieldCiencias de la Computación
dc.identifier.doihttp://dx.doi.org/10.4230/LIPIcs.TYPES.2013.230


Files in this item

Thumbnail
Name:
13.pdf
Size:
549.2Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Attribution 3.0 Unported (CC BY 3.0)
Except where otherwise noted, this item's license is described as Attribution 3.0 Unported (CC BY 3.0)