An operational semantics for parallel lazy evaluation

DOI10.1145/351240.351256zbMath1321.68135OpenAlexW2041641737MaRDI QIDQ2943366

Clem Baker-Finch, Phil W. Trinder, David J. King

Publication date: 11 September 2015

Published in: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/351240.351256

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (6)

The Role of Indirections in Lazy Natural Semantics ⋮ The adequacy of Launchbury's natural semantics for lazy evaluation ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi ⋮ To be or not to be …lazy (In a Parallel Context) ⋮ Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

Uses Software

• Naira

This page was built for publication: An operational semantics for parallel lazy evaluation