@book{c13849273dad44f1b0e2435ceb64a597,
title = "6th European Symposium on Programming",
abstract = "The proceedings contain 25 papers. The special focus in this conference is on Programming Languages and Systems. The topics include: Some practical problems and their influence on semantics; compiling haskell by program transformation; 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; 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 and towards an expressive language for PDE solvers.",
editor = "Nielson, \{Hanne Riis\}",
year = "1996",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
address = "Germany",
note = "6th European Symposium on Programming Languages and Systems, ESOP 1996 ; Conference date: 22-04-1996 Through 24-04-1996",
}