✦ LIBER ✦

Theory of Program Structures: Schemes, Semantics, Verification.by Sheila A. Greibach

✍ Scribed by Review by: Robert L. Constable

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Checking semantic correctness of a class

✍ E. A. Evtushenko 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 229 KB

Towards a Theory of Semantics and Compil

✍ Review by: David Park 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 102 KB

ICAF 2009, Bridging the Gap between Theo

✍ Bos, M. J. 📂 Article 📅 2009 🏛 Springer Netherlands ⚖ 924 KB