✦ LIBER ✦

Algebraic Semantics of an Imperative Programming Language

✍ Scribed by A. V. Zamulin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Abstract Compiler Model as a Result o

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

Introducing objects and parallelism to a

✍ A.A. Radenski 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 811 KB

Coalgebraic Semantics and Observational

✍ Furio Honsell; Marina Lenisa; Rekha Redamalla 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Formal Semantics of Programming Language

✍ Peter D. Mosses 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Semantic Translation of Programming Lang

✍ Andrzej Skowron 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 312 KB

Polynomial approximations of the relatio

✍ Michael A. Colón 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 395 KB