An operational semantics for parallel lazy evaluation

DOI10.1145/351240.351256MaRDI QIDQ2943366zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• An operational semantics of sharing in lazy evaluation
• scientific article; zbMATH DE number 4050946
• Complete laziness: a natural semantics
• Publication:3028330
• Lenient evaluation and parallelism

Cited in

(12)

• Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
• An operational semantics of sharing in lazy evaluation
• Lenient evaluation and parallelism
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• Continuation semantics for parallel Haskell dialects
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• The adequacy of Launchbury's natural semantics for lazy evaluation
• To be or not to be …lazy (In a Parallel Context)
• The role of indirections in lazy natural semantics
• scientific article; zbMATH DE number 4016177 (Why is no real title available?)
• Using Maude and its strategies for defining a framework for analyzing Eden semantics
• scientific article; zbMATH DE number 4050946 (Why is no real title available?)

Describes a project that uses

Uses Software

• Naira

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2943366)