Critical comments on the programming language Pascal

DOI10.1007/BF00288652zbMath0273.68004MaRDI QIDQ2264544

A. N. Habermann

Publication date: 1973

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (6)

A New Programming Technique Derived from Dijkstra’s Methodology ⋮ A multilevel flow control statement ⋮ More comments on the programming language Pascal ⋮ Pyramids: A data type for matrix representation in Pascal ⋮ Language design methods based on semantic principles ⋮ PASCAL in LCF: Semantics and examples of proof

Uses Software

• ALGOL 68
• Simula 67
• ALGOL 60

Cites Work

• Revised report on the algorithmic language ALGOL 60
• Report on the algorithmic language ALGOL 68
• BLISS
• Unnamed Item
• Unnamed Item

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