✦ LIBER ✦

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 631 || Interprocedural dynamic slicing

✍ Scribed by Bruynooghe, Maurice; Wirsing, Martin

Book ID: 120895859
Publisher: Springer-Verlag
Year: 1992
Tongue: German
Weight: 1015 KB
Edition: 1992
Category: Article
ISBN-13: 9783540558446
DOI: 10.1007/3-540-55844-6_148

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 844 || Hand-writing program generator generators

✍ Hermenegildo, Manuel; Penjam, Jaan 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 935 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Progamming Language Implementation and Logic Programming Volume 714 || Flang and its implementation

✍ Bruynooghe, Maurice; Penjam, Jaan 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 712 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming Volume 592 || Abstract syntax and logic programming

✍ Voronkov, A. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 995 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Narrowing the narrowing space

✍ Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 954 KB

[Lecture Notes in Computer Science] Prog

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

✍ Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 826 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories

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

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.