Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

by Hanne Riis Nielson (editor)

Some practical problems and their influence on semantics.- Compiling Haskell by program A report from the trenches.- Narrowing-driven partial evaluation of functional logic programs.- A multiple-valued logical semantics for Prolog.- Removing value encoding using alternative values in partial evaluation of strongly-typed languages.- A complete transformational toolkit for compilers.- Global analysis of standard Prolog programs.- Static detection of pointer An axiomatisation and a checking algorithm.- Compositional optimization of disjunctive abstract interpretations.- A rewriting logic for declarative programming.- Durations for truly-concurrent transitions.- Flow analysis in the Geometry of Interaction.- Parametricity and unboxing with unpointed types.- Modular denotational semantics for compiler construction.- Compositional semantics of non-deterministic synchronous languages.- Checking system properties via integer programming.- Efficient minimization up to location equivalence.- A new approach to compiling adaptive programs.- Mode and termination checking for higher-order logic programs.- Linear time hierarchies for a functional language machine model.- Integer constraints to stop deforestation.- Towards an ML-style polymorphic type system for C.- Assumption/commitment rules for dataflow networks - with an emphasis on completeness.- Towards an expressive language for PDE solvers.- Rewrite systems with abstraction and ?- Types, approximants and normalization.

424 pages, Paperback

First published April 30, 1996