✦ LIBER ✦

A view of formal semantics

✍ Scribed by Hendrik J Boom; Claus Bendix Nielsen; Andrew D McGettrick; Peter D Mosses; Charles Rattray; Robert D Tennent; David A Watt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal semantics

✍ A. Ollongren 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 956 KB

Formal semantics of a SNOBOL4 subset

✍ F.G. Pagan 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 886 KB

Formal Foundations of Operational Semant

✍ Jonathan Ford; Ian A. Mason 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 237 KB

Syntax and semantics of formal languages

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

A formal semantics for program debugging

✍ Wei Li; Ning Li 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 478 KB

A formal semantics for protocol narratio

✍ Sébastien Briais; Uwe Nestmann 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 507 KB