scientific article; zbMATH DE number 1538034

MaRDI QIDQ4518889zbMATH OpenFDO

Authors Hayo Thielecke

Publication date 3 December 2000

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

• scientific article; zbMATH DE number 2087542
• 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
• scientific article; zbMATH DE number 1722643

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
• scientific article; zbMATH DE number 2087542 (Why is no real title available?)
• 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:

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