Programming Languages and Systems — ESOP '96

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 26 Some practical problems and their influence on semantics
3. Altmetric Badge
   Chapter 27 Compiling Haskell by program transformation: A report from the trenches
4. Altmetric Badge
   Chapter 28 Narrowing-driven partial evaluation of functional logic programs
5. Altmetric Badge
   Chapter 29 A multiple-valued logical semantics for Prolog
6. Altmetric Badge
   Chapter 30 Removing value encoding using alternative values in partial evaluation of strongly-typed languages
7. Altmetric Badge
   Chapter 31 A complete transformational toolkit for compilers
8. Altmetric Badge
   Chapter 32 Global analysis of standard Prolog programs
9. Altmetric Badge
   Chapter 33 Static detection of pointer errors: An axiomatisation and a checking algorithm
10. Altmetric Badge
    Chapter 34 Compositional optimization of disjunctive abstract interpretations
11. Altmetric Badge
    Chapter 35 A rewriting logic for declarative programming
12. Altmetric Badge
    Chapter 36 Durations for truly-concurrent transitions
13. Altmetric Badge
    Chapter 37 Flow analysis in the Geometry of Interaction
14. Altmetric Badge
    Chapter 38 Parametricity and unboxing with unpointed types
15. Altmetric Badge
    Chapter 39 Modular denotational semantics for compiler construction
16. Altmetric Badge
    Chapter 40 Compositional semantics of non-deterministic synchronous languages
17. Altmetric Badge
    Chapter 41 Checking system properties via integer programming
18. Altmetric Badge
    Chapter 42 Efficient minimization up to location equivalence
19. Altmetric Badge
    Chapter 43 A new approach to compiling adaptive programs
20. Altmetric Badge
    Chapter 44 Mode and termination checking for higher-order logic programs
21. Altmetric Badge
    Chapter 45 Linear time hierarchies for a functional language machine model
22. Altmetric Badge
    Chapter 46 Integer constraints to stop deforestation
23. Altmetric Badge
    Chapter 47 Towards an ML-style polymorphic type system for C
24. Altmetric Badge
    Chapter 48 Assumption/commitment rules for dataflow networks — with an emphasis on completeness
25. Altmetric Badge
    Chapter 49 Towards an expressive language for PDE solvers
26. Altmetric Badge
    Chapter 50 Rewrite systems with abstraction and β-rule: Types, approximants and normalization