ESOP 1996

25 papers

1. A Complete Transformational Toolkit for Compilers · Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
2. A Multiple-Valued Logical Semantics for Prolog · Roberto Barbuti, Paolo Mancarella
3. A New Approach to Compiling Adaptive Programs · Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
4. A Rewriting Logic for Declarative Programming · Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
5. Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness · Ketil Stølen
6. Checking System Properties via Integer Programming · Stephan Melzer, Javier Esparza
7. Compiling Haskell by Program Transformation: A Report from the Trenches · Simon L. Peyton Jones
8. Compositional Optimization of Disjunctive Abstract Interpretations · Roberto Giacobazzi, Francesco Ranzato
9. Compositional Semantics of Non-Deterministic Synchronous Languages · Florence Maraninchi, Nicolas Halbwachs
10. Durations for Truly-Concurrent Transitions · Eric Goubault
11. Efficient Minimization up to Location Equivalence · Ugo Montanari, Marco Pistore, Daniel Yankelevich
12. Flow Analysis in the Geometry of Interaction · Thomas P. Jensen, Ian Mackie
13. Global Analysis of Standard Prolog Programs · Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
14. Integer Constraints to Stop Deforestation · Helmut Seidl
15. Linear Time Hierarchies for a Functional Language Machine Model · Eva Rose
16. Mode and Termination Checking for Higher-Order Logic Programs · Ekkehard Rohwedder, Frank Pfenning
17. Modular Denotational Semantics for Compiler Construction · Sheng Liang, Paul Hudak
18. Narrowing-Driven Partial Evaluation of Functional Logic Programs · María Alpuente, Moreno Falaschi, Germán Vidal
19. Parametricity and Unboxing with Unpointed Types · John Launchbury, Ross Paterson
20. Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages · Denis Béchet
21. Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization · Steffen van Bakel, Franco Barbanera, Maribel Fernández
22. Some Practical Problems and Their Influence on Semantics · Cliff B. Jones
23. Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm · Pascal Fradet, Ronan Caugne, Daniel Le Métayer
24. Towards an Expressive Language for PDE Solvers · Michael Thuné, Krister Åhlander
25. Towards an ML-Style Polymorphic Type System for C · Geoffrey Smith, Dennis M. Volpano