✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Algebra Volume 162 || LISP compilation viewed as provable semantics preserving program transformation

✍ Scribed by Hulzen, J. A.

Book ID: 120409855
Publisher: Springer Berlin Heidelberg
Year: 1983
Weight: 620 KB
Category: Article
ISBN: 3540387560
DOI: 10.1007/3-540-12868-9_96

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Algebra Volume 162 || The Bath Concurrent LISP machine

✍ Hulzen, J. A. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 517 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic and Program Semantics Volume 7230 || Brzozowski’s Algorithm (Co)Algebraically

✍ Constable, Robert L.; Silva, Alexandra 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 206 KB

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related t

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 154 || Power domains and predicate transformers: A topological view

✍ Diaz, Josep 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 748 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Compiler Construction Volume 1060 || How to uniformly specify program analysis and transformation with graph rewrite systems

✍ Gyimóthy, Tibor 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 801 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1139 || λ-calculi with explicit substitutions and composition which preserve β-strong normalization

✍ Hanus, Michael; Rodríguez-Artalejo, Mario 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 813 KB