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

DOI10.1007/3-540-59293-8_231zbMath1496.68112DBLPconf/tapsoft/Moreau95OpenAlexW2170529774WikidataQ57664123 ScholiaQ57664123MaRDI QIDQ5096761

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

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

Cites Work

• Unnamed Item
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Continuations: A mathematical semantics for handling full jumps
• Obtaining coroutines with continuations

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