Continuations in possible-world semantics

DOI10.1016/0304-3975(91)90184-4zbMath0737.68058OpenAlexW1978312140MaRDI QIDQ1178704

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

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

Related Items (2)

Algebraic domains of natural transformations ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• Semantical analysis of specification logic
• Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
• An application of lattice theory to knowledge representation
• Program proving: KJumps and functions
• An axiomatic basis for computer programming
• Logic and structure.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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