✦ LIBER ✦

An axiomatic definition of the programming language PASCAL

✍ Scribed by C. A. R. Hoare; N. Wirth

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The programming language PASCAL

✍ John Wakerly 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 710 KB

The programming language PASCAL

✍ John Wakerly 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 542 KB

Critical comments on the programming lan

✍ A. N. Habermann 📂 Article 📅 1973 🏛 Springer-Verlag 🌐 English ⚖ 649 KB

More comments on the programming languag

✍ O. Lecarme; P. Desjardins 📂 Article 📅 1975 🏛 Springer-Verlag 🌐 English ⚖ 812 KB

The current programming language standar

✍ Tony Addyman 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 456 KB

An axiomatic definition of synchronizati

✍ Alain J. Martin 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 766 KB