✦ LIBER ✦

[Lecture Notes in Computer Science] FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science Volume 2245 || A Mechanically Verified Compiling Specification for a Lisp Compiler

✍ Scribed by Hariharan, Ramesh; Vinay, V.; Mukund, Madhavan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] FST

✍ Kapoor, Sanjiv; Prasad, Sanjiva 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 196 KB

Sanjiv Kapoor, Sanjiva Prasad (eds.) Includes Bibliographical References And Index.

[Lecture Notes in Computer Science] FST

✍ Kapoor, Sanjiv; Prasad, Sanjiva 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 208 KB

[Lecture Notes in Computer Science] FSTT

✍ Lodaya, Kamal; Mahajan, Meena 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 180 KB