Non-speculative and upward invocation of continuations in a parallel language

DOI10.1007/3-540-59293-8_231MaRDI QIDQ5096761zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luc Moreau

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_231

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Continuation-based compilation of functional languages for parallel machines
• Concurrency semantics in continuation-passing style
• Safe nondeterminism in a deterministic-by-default parallel language
• Parallel dynamic semantics of sequential programs with speculative and incremental computation
• Continuation Semantics for Asynchronous Concurrency
• Continuation semantics for parallel Haskell dialects
• scientific article; zbMATH DE number 1691453
• scientific article; zbMATH DE number 4117855

Cites work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Continuations: A mathematical semantics for handling full jumps
• scientific article; zbMATH DE number 3889501 (Why is no real title available?)
• Obtaining coroutines with continuations

This page was built for publication: Non-speculative and upward invocation of continuations in a parallel language

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