文章基本信息

标题：Semantics of Lazy Evaluation using the Two-Level Grammar
本地全文：下载
作者：AbouGhaly, Mahmoud A. ; Daoud, Sameh S. ; Taha, Azza A. 等
期刊名称：Journal of Computer Science
印刷版ISSN：1549-3636
出版年度：2008
卷号：4
期号：1
页码：21-29
DOI：10.3844/jcssp.2008.21.29
出版社：Science Publications
摘要：We have formalized the semantics of lazy evaluation for the lambda calculus using the two-level grammar formalism. The resulting semantics enjoys several properties, e.g., there is a sharing in the recursive computation, there is no α conversion, the heap is automatically reclaimed, an attempt to evaluate an argument is done at most once and there is a sharing in the evaluation of partial application to functions.
关键词：Heap; partial application to functions; α conversion