A proof rule for multiple coroutine systems

DOI10.1016/0020-0190(76)90082-XzbMath0325.68011OpenAlexW2015559657MaRDI QIDQ1225452

Paul A. Pritchard

Publication date: 1976

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

Full work available at URL: https://doi.org/10.1016/0020-0190(76)90082-x

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• Simula 67

Cites Work

• An axiomatic definition of the programming language Pascal
• SIMULA: an ALGOL-based simulation language
• An axiomatic basis for computer programming
• Design of a separable transition-diagram compiler
• Unnamed Item
• Unnamed Item

This page was built for publication: A proof rule for multiple coroutine systems