Continuations in possible-world semantics (Q1178704)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuations in possible-world semantics |
scientific article |
Statements
Continuations in possible-world semantics (English)
0 references
26 June 1992
0 references
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.
0 references
procedures
0 references
Hoare's logic
0 references
possible world semantics
0 references
jumps
0 references
block expressions
0 references
ALGOL-like languages
0 references
continuations
0 references
