✦ LIBER ✦

[Lecture Notes in Computer Science] The Essence of Computation Volume 2566 || A Symmetric Approach to Compilation and Decompilation

✍ Scribed by Mogensen, Torben Æ.; Schmidt, David A.; Sudborough, I. Hal

Book ID: 124153376
Publisher: Springer Berlin Heidelberg
Year: 2002
Weight: 321 KB
Category: Article
ISBN: 3540363777
DOI: 10.1007/3-540-36377-7_14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Essence of Computation Volume 2566 || Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

✍ Mogensen, Torben Æ.; Schmidt, David A.; Sudborough, I. Hal 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 295 KB

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Essence of Computation Volume 2566 || Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

✍ Mogensen, Torben Æ.; Schmidt, David A.; Sudborough, I. Hal 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 295 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Compiler Construction Volume 2304 || A Graph—Free Approach to Data—Flow Analysis

✍ Horspool, R. Nigel 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 460 KB

Etaps 2002 Was The ?fth Instance Of The European Joint Conferences On Theory And Practice Of Software. Etaps Is An Annual Federated Conference That Was Established In 1998by Combining A Number Of Existing And New Conferences. This Year It Comprised 5 Conferences (fossacs, Fase, Esop, Cc, Tacas), 13

[Lecture Notes in Computer Science] Lang

[Lecture Notes in Computer Science] Languages and Compilers for Parallel Computing Volume 1239 || Simple qualitative experiments with a sparse compiler

✍ Sehr, David; Banerjee, Utpal; Gelernter, David; Nicolau, Alex; Padua, David 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 802 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligence and Security Informatics Volume 3495 || CODESSEAL: Compiler/FPGA Approach to Secure Applications

✍ Kantor, Paul; Muresan, Gheorghe; Roberts, Fred; Zeng, Daniel D.; Wang, Fei-Yue; 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 246 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science – ICCS 2006 Volume 3994 || A Conservative Approach to SystemC Parallelization

✍ Alexandrov, Vassil N.; van Albada, Geert Dick; Sloot, Peter M. A.; Dongarra, Jac 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 335 KB