Critical comments on the programming language Pascal
From MaRDI portal
Publication:2264544
Cites work
Cited in
(6)- More comments on the programming language Pascal
- Language design methods based on semantic principles
- PASCAL in LCF: Semantics and examples of proof
- A New Programming Technique Derived from Dijkstra’s Methodology
- A multilevel flow control statement
- Pyramids: A data type for matrix representation in Pascal
This page was built for publication: Critical comments on the programming language Pascal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264544)