On exceptions versus continuations in the presence of state

DOI10.1007/3-540-46425-5_26MaRDI QIDQ4518889zbMATH OpenFDO

Authors Hayo Thielecke

Publication date 3 December 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46425-5_26

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Exceptions, continuations and macro-expressiveness
• Using a continuation twice and its implications for the expressive power of call/cc
• A duality between exceptions and states
• Unchecked exceptions can be strictly more powerful than call/cc
• Many happy returns

Cited in

(12)

• Using a continuation twice and its implications for the expressive power of call/cc
• Unchecked exceptions can be strictly more powerful than call/cc
• Direct semantics and exceptions define jumps and coroutines
• A duality between exceptions and states
• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• Validating Brouwer's continuity principle for numbers using named exceptions
• Exceptions, continuations and macro-expressiveness
• Comparing control constructs by double-barrelled CPS transforms
• Combining and relating control effects and their semantics
• Region-based resource management and lexical exception handlers in continuation-passing style
• Combining algebraic effects with continuations
• A type-theoretic foundation of delimited continuations

Describes a project that uses

Uses Software

• LISP

This page was built for publication: On exceptions versus continuations in the presence of state

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