Conference icon

Conference

From push/enter to eval/apply by program transformation

Abstract:

Push/enter and eval/apply are two calling conventions used in implementations of functional languages. In this paper, we explore the following observation: when considering functions with multiple arguments, the stack under the push/enter and eval/apply conventions behaves similarly to two particular implementations of the list datatype: the regular cons-list and a form of lists with lazy concatenation respectively. Along the lines of Danvy et al.'s functional correspondence between definitio...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.4204/EPTCS.212.4

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Publisher:
Electronic Proceedings in Theoretical Computer Science (EPTCS) Publisher's website
Publication date:
2015-04-12
DOI:
URN:
uuid:2b857e40-2f44-441f-8d71-19e61d6d0b3f
Source identifiers:
629623
Local pid:
pubs:629623
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP