Axiomatic semantics for escape statements

DOI10.1016/0020-0190(91)90058-PzbMath0735.68058OpenAlexW2048335019MaRDI QIDQ1182114

Ronald A. Olsson, Daniel T. Huang

Publication date: 27 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90058-p

zbMATH Keywords

axiomatic semanticscontrol flowproof rulesescape statements

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• Ada95

Cites Work

• Unnamed Item
• Proof rules for the programming language Euclid
• Program proving: KJumps and functions
• An axiomatic definition of the programming language Pascal
• Guarded commands, nondeterminacy and formal derivation of programs
• BLISS

This page was built for publication: Axiomatic semantics for escape statements