✦ LIBER ✦

Secrecy in Programming-Language Semantics

✍ Scribed by Martín Abadi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Execution traces and programming-languag

✍ R. G. Hamlet 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 926 KB

Semantic Translation of Programming Lang

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

Regular-Language Semantics for a Call-by

✍ Dan R. Ghica 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 186 KB

VDM semantics of programming languages:

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

Base-type languages: Program design by u

✍ A. N. Prikhod'ko 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 779 KB

Definition of the semantics of programmi

✍ V. N. Domrachev; Yu. V. Kapitonova; L. G. Samoilenko 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 458 KB