Programming Language Implementation and Logic Programming

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 124 Improving control of logic programs by using functional logic languages
3. Altmetric Badge
   Chapter 125 Independent AND-parallel implementation of narrowing
4. Altmetric Badge
   Chapter 126 Binding techniques and garbage collection for OR-parallel CLP systems
5. Altmetric Badge
   Chapter 127 Path analysis for lazy data structures
6. Altmetric Badge
   Chapter 128 Why the occur-check is not a problem
7. Altmetric Badge
   Chapter 129 Incremental evaluation of natural semantics specifications
8. Altmetric Badge
   Chapter 130 Subsumption-oriented Push-Down Automata
9. Altmetric Badge
   Chapter 131 Unlimp uniqueness as a leitmotiv for implementation
10. Altmetric Badge
    Chapter 132 Using cached functions and constructors for incremental attribute evaluation
11. Altmetric Badge
    Chapter 133 Strictness analysis for attribute grammars
12. Altmetric Badge
    Chapter 134 Checking and debugging of two-level grammars
13. Altmetric Badge
    Chapter 135 On safe folding
14. Altmetric Badge
    Chapter 136 Unfold/fold transformations preserving termination properties
15. Altmetric Badge
    Chapter 137 A technique for transforming logic programs by fold-unfold transformations
16. Altmetric Badge
    Chapter 138 FOLON: An environment for declarative construction of logic programs
17. Altmetric Badge
    Chapter 139 A complete indexing scheme for WAM-based abstract machines
18. Altmetric Badge
    Chapter 140 Fast prolog with a VAM 1p based Prolog compiler
19. Altmetric Badge
    Chapter 141 Metastructures vs. attributed variables in the context of extensible unification
20. Altmetric Badge
    Chapter 142 Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
21. Altmetric Badge
    Chapter 143 Derivation of linear size relations by abstract interpretation
22. Altmetric Badge
    Chapter 144 Generic abstract interpretation algorithms for prolog: Two optimization techniques and their experimental evaluation
23. Altmetric Badge
    Chapter 145 A bottom-up interpreter for a higher-order logic programming language
24. Altmetric Badge
    Chapter 146 Camel: An extension of the categorical abstract machine to compile functional/logic programs
25. Altmetric Badge
    Chapter 147 On the interaction of lazy evaluation and backtracking
26. Altmetric Badge
    Chapter 148 Interprocedural dynamic slicing
27. Altmetric Badge
    Chapter 149 Algorithmic debugging for lazy functional languages
28. Altmetric Badge
    Chapter 150 A general trace query mechanism based on Prolog
29. Altmetric Badge
    Chapter 151 Fully declarative logic programming
30. Altmetric Badge
    Chapter 152 Our LIPS are sealed: Interfacing functional and logic programming systems
31. Altmetric Badge
    Chapter 153 Analyses of inconsistency for incremental equational logic programming
32. Altmetric Badge
    Chapter 154 I/O trees and interactive lazy functional programming
33. Altmetric Badge
    Chapter 155 UCG-E: An equational logic programming system
34. Altmetric Badge
    Chapter 156 A relational programming system with inferred representations
35. Altmetric Badge
    Chapter 157 An implementation of action semantics (Summary)
36. Altmetric Badge
    Chapter 158 BinProlog: A continuation passing style Prolog engine
37. Altmetric Badge
    Chapter 159 LaToKi: A language toolkit for bottom-Up evaluation of functional programs
38. Altmetric Badge
    Chapter 160 Implementing higher-order functions in an algebraic specification language with narrowing
39. Altmetric Badge
    Chapter 161 Implementing attribute grammars by computational models
40. Altmetric Badge
    Chapter 162 ProQuery: Logical access to an OODB
41. Altmetric Badge
    Chapter 163 Inference of inheritance relationships from Prolog programs: a system developed with PrologIII
42. Altmetric Badge
    Chapter 164 CLP( PB )