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

ALGOL-like languagesblock expressionscontinuationsHoare's logicjumpspossible world semanticsprocedures

Mathematics Subject Classification ID

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

Review text

The paper treats the semantics of jumps and block expressions in ALGOL- like languages. The author uses the generalization of conventional semantic domains to functor from the category of ``possible worlds to a category of semantic domains. The use of continuations in this generalized framework is discussed. A formal system for reasoning about programs with jumps is introduced and, finally, an open problem is presented.

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

• An application of lattice theory to knowledge representation
• An axiomatic basis for computer programming
• 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?)
• 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

(13)

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

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)