Research ArticleOpen accessIn the keywordsOperational Semantics for Lazy EvaluationMahmoud A. Abou Ghaly, Sameh S. Daoud, Azza A. Taha, Salwa M. AlyAn operational semantics for lazy evaluation of a calculus without higher order functions was defined. Although it optimizes many aspects of implementation, e.g. there is a sharing in the recursive computation, there is no α conversion, the heap is automatically reclaimed, and an attempt to evaluate an argument is done at most once. It is still suitable for reasoning about … …Journal of Computer Science, Vol. 3, Issue 8 · 31 Aug 2007 · 6,705 accessesView PDFCite