PASCAL in LCF: Semantics and examples of proof

DOI10.1016/0304-3975(77)90004-4MaRDI QIDQ1242670zbMATH OpenOpenAlexFDO

Authors M. Aiello, Luigia Carlucci Aiello, Richard W. Weyhrauch

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

General topics in the theory of software (68N01)

Cites work

• scientific article; zbMATH DE number 3464807 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3530944 (Why is no real title available?)
• scientific article; zbMATH DE number 3538786 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3566824 (Why is no real title available?)
• scientific article; zbMATH DE number 3448070 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3346088 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• scientific article; zbMATH DE number 3410594 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• scientific article; zbMATH DE number 3187218 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• An axiomatic basis for computer programming
• An axiomatic definition of the programming language Pascal
• Automatic program verification. I: A logical basis and its implementation
• Continuations: A mathematical semantics for handling full jumps
• Critical comments on the programming language Pascal
• Flow diagrams, turing machines and languages with only two formation rules
• Mechanizing structural induction. II: Strategies
• More comments on the programming language Pascal
• PASCAL in LCF: Semantics and examples of proof
• Pascal. User manual and report. 2nd ed
• Reasoning about programs
• Requirements for advanced programming systems for list processing
• The denotational semantics of programming languages
• The programming language Pascal

Cited in

(2)

• PASCAL in LCF: Semantics and examples of proof
• scientific article; zbMATH DE number 3548479 (Why is no real title available?)

Describes a project that uses

Uses Software

• ALGOL 60
• LCF

This page was built for publication: PASCAL in LCF: Semantics and examples of proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1242670)