✦ LIBER ✦

Formal Semantics of Programming Languages: — An Overview —

✍ Scribed by Peter D. Mosses

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Consistent and complementary formal theo

✍ C. A. R. Hoare; P. E. Lauer 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 907 KB

Syntax and semantics of formal languages

✍ A. A. Letichevskii 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 946 KB

Games In The Semantics Of Programming La

✍ Jan Jürjens 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 170 KB

Algebraic Semantics of an Imperative Pro

✍ A. V. Zamulin 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 89 KB

VDM semantics of programming languages:

✍ Peter D. Mosses 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 326 KB

Towards Verification of C Programs. C-Li

✍ V. A. Nepomniaschy; I. S. Anureev; I. N. Mikhailov; A. V. Promskii 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 93 KB