Search | Science Publications

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessSemantics of Lazy Evaluation using the Two-Level GrammarMahmoud A. AbouGhaly, Sameh S. Daoud, Azza A. Taha, Salwa M. AlyWe 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 … …Journal of Computer Science, Vol. 4, Issue 1 · 31 Jan 2008 · 6,759 accessesView PDF Cite