Continuations in possible-world semantics

DOI10.1016/0304-3975(91)90184-4MaRDI QIDQ1178704zbMATH OpenOpenAlexFDO

Authors J. K. Tobin, Robert D. Tennent

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90184-4

zbMATH Keywords

jumpscontinuationspossible world semanticsproceduresHoare's logicALGOL-like languagesblock expressions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Continuations revisited
• Some Applications of Continuations
• UTP semantics of reactive processes with continuations
• Declarative continuations: an investigation of duality in programming language semantics
• scientific article; zbMATH DE number 3856436

Cites work

• scientific article; zbMATH DE number 3827166 (Why is no real title available?)
• scientific article; zbMATH DE number 3949678 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3653499 (Why is no real title available?)
• scientific article; zbMATH DE number 3725663 (Why is no real title available?)
• scientific article; zbMATH DE number 3748394 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3999254 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3303661 (Why is no real title available?)
• An application of lattice theory to knowledge representation
• An axiomatic basis for computer programming
• Logic and structure.
• Program proving: KJumps and functions
• Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
• Semantical analysis of specification logic
• Topoi. The categorial analysis of logic. Rev. ed

Cited in

(11)

• UTP semantics of reactive processes with continuations
• Versatility of `continuations' in discourse semantics
• Logic Based Program Synthesis and Transformation
• Continuity in semantic theories of programming
• Quantifying over eventualities in continuation semantics
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• Algebraic domains of natural transformations
• Some Applications of Continuations
• Direct semantics and exceptions define jumps and coroutines
• scientific article; zbMATH DE number 3970088 (Why is no real title available?)
• Continuation semantics for flowgraph equations

This page was built for publication: Continuations in possible-world semantics

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