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
• scientific article; zbMATH DE number 4016177
• Lenient evaluation and parallelism

Cited in

(14)

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

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)