✦ LIBER ✦

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Inline expansion: When and how?

✍ Scribed by Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert

Book ID: 111681250
Publisher: Springer Berlin Heidelberg
Year: 1997
Weight: 826 KB
Category: Article
DOI: 10.1007/bfb0033842

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2986 || Functors for Proofs and Programs

✍ Schmidt, David 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29– 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 172 || Languages and inverse semigroups

✍ Paredaens, Jan 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 539 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7211 || Reasoning about Multi-stage Programs

✍ Seidl, Helmut 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 305 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning

✍ Fribourg, Laurent; Turini, Franco 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 829 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Subrecursion as a basis for a feasible programming language

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 868 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 6012 || Testing Polymorphic Properties

✍ Gordon, Andrew D. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 269 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 19th European Symposium On Programming, Esop 2010, Held In Paphos, Cyprus, In March 2010, As Part Of Etaps 2010, The European Joint Conferences On Theory And Practice Of Software. The 30 Revised Full Papers, Presented Together With Tw