More comments on the programming language Pascal

DOI10.1007/BF00288728zbMath0297.68010MaRDI QIDQ1214259

P. Desjardins, O. Lecarme

Publication date: 1975

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

PASCAL in LCF: Semantics and examples of proof

Uses Software

• ALGOL 68
• ALGOL 60
• PL/I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Revised report on the algorithmic language ALGOL 60
• Pascal. User manual and report
• Critical comments on the programming language Pascal
• Report on the algorithmic language ALGOL 68
• An axiomatic definition of the programming language Pascal
• Recursive data structures
• Monitors
• BLISS
• The design of a pascal compiler
• Proof of a structured program: 'The sieve of Eratosthenes'

This page was built for publication: More comments on the programming language Pascal