✦ LIBER ✦

A formal semantics for program debugging

✍ Scribed by Wei Li; Ning Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Semantics for Program Paths

✍ Karl Lermer; Colin Fidge; Ian Hayes 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 230 KB

Formal semantics

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

A formal semantics for protocol narratio

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

Formal Semantics of Programming Language

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

Formal semantics for mutual belief

✍ Marco Colombetti 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 455 KB

A Debugging Scheme for Functional Logic

✍ María Alpuente; Franciso Correa; Moreno Falaschi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 327 KB