PASCAL in LCF: Semantics and examples of proof

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

Mathematics Subject Classification ID

68N01: General topics in the theory of software

Related Items

PASCAL in LCF: Semantics and examples of proof, Unnamed Item

Uses Software

• LCF
• ALGOL 60

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