✦ LIBER ✦

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Bootstrapping Compiler Generators from Partial Evaluators

✍ Scribed by Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei

Book ID: 115480116
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 285 KB
Category: Article
ISBN: 3642297099
DOI: 10.1007/978-3-642-29709-0_13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Development of the Computer Language Classification Knowledge Portal

✍ Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 156 KB

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Partial Evaluation for Common Intermediate Language

✍ Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 110 KB

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1181 || Algebraic semantics of the Oberon target machine

✍ Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 713 KB

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || A Systematic Approach towards Object-Based Petri Net Formalisms

✍ Bjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 179 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 4th International Andrei Ershov Memorial Conference, Psi 2001, Held In Akademgorodok, Novosibirsk, Russia, In July 2001. The 50 Revised Papers Presented Together With 2 Invited Memorial Papers Devoted To The Work Of Andrei Ershov

[Lecture Notes in Computer Science] Perf

[Lecture Notes in Computer Science] Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges Volume 6821 || Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives

✍ Hummel, Karin Anna; Hlavacs, Helmut; Gansterer, Wilfried 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 257 KB

[Lecture Notes in Computer Science] Data

[Lecture Notes in Computer Science] Data Warehousing and Knowledge Discovery Volume 7448 || Evaluating the Feasibility Issues of Data Confidentiality Solutions from a Data Warehousing Perspective

✍ Cuzzocrea, Alfredo; Dayal, Umeshwar 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 269 KB

This book constitutes the refereed proceedings of the 14th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2012 held in Vienna, Austria, in September 2012. The 36 revised full papers presented were carefully reviewed and selected from 99 submissions. The papers are organi