✦ LIBER ✦

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

✍ Scribed by Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.

Book ID: 115490262
Publisher: Springer Berlin Heidelberg
Year: 1996
Weight: 713 KB
Category: Article
ISBN: 3540496378
DOI: 10.1007/3-540-62064-8_5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 6742 || Rewriting in Varieties of Idempotent Semigroups

✍ Winkler, Franz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 253 KB

[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 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] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 5725 || Combinatorics of Finite Words and Suffix Automata

✍ Bozapalidis, Symeon; Rahonis, George 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 192 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic Informatics Volume 5725 || Polynomial Operators on Classes of Regular Languages

✍ Bozapalidis, Symeon; Rahonis, George 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 286 KB

[Lecture Notes in Computer Science] Pers

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

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