PASCAL in LCF: Semantics and examples of proof
From MaRDI portal
Publication:1242670
DOI10.1016/0304-3975(77)90004-4zbMath0368.68019MaRDI QIDQ1242670
Luigia Carlucci Aiello, Richard W. Weyhrauch, M. Aiello
Publication date: 1978
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(77)90004-4
68N01: General topics in the theory of software
Related Items
Uses Software
Cites Work
- Mechanizing structural induction. II: Strategies
- Reasoning about programs
- Pascal. User manual and report. 2nd ed
- More comments on the programming language Pascal
- PASCAL in LCF: Semantics and examples of proof
- Continuations: A mathematical semantics for handling full jumps
- Automatic program verification. I: A logical basis and its implementation
- Critical comments on the programming language Pascal
- The programming language Pascal
- An axiomatic definition of the programming language Pascal
- The denotational semantics of programming languages
- Flow diagrams, turing machines and languages with only two formation rules
- An axiomatic basis for computer programming
- Requirements for advanced programming systems for list processing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item