6. ESOP 1996: Linköping, Sweden

Hanne Riis Nielson (Ed.): Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Lecture Notes in Computer Science 1058 Springer 1996, ISBN 3-540-61055-3 BibTeX

@proceedings{DBLP:conf/esop/1996,
  editor    = {Hanne Riis Nielson},
  title     = {Programming Languages and Systems - ESOP'96, 6th European Symposium
               on Programming, Link{\"o}ping, Sweden, April 22-24, 1996, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1058},
  year      = {1996},
  isbn      = {3-540-61055-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Cliff B. Jones: Some Practical Problems and Their Influence on Semantics. 1-17 BibTeX
Simon L. Peyton Jones: Compiling Haskell by Program Transformation: A Report from the Trenches. 18-44 BibTeX

Contributed Papers

María Alpuente, Moreno Falaschi, Germán Vidal: Narrowing-Driven Partial Evaluation of Functional Logic Programs. 45-61 BibTeX
Roberto Barbuti, Paolo Mancarella: A Multiple-Valued Logical Semantics for Prolog. 62-76 BibTeX
Denis Béchet: Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. 77-91 BibTeX
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering: A Complete Transformational Toolkit for Compilers. 92-107 BibTeX
Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. 108-124 BibTeX
Pascal Fradet, Ronan Caugne, Daniel Le Métayer: Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. 125-140 BibTeX
Roberto Giacobazzi, Francesco Ranzato: Compositional Optimization of Disjunctive Abstract Interpretations. 141-155 BibTeX
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Rewriting Logic for Declarative Programming. 156-172 BibTeX
Eric Goubault: Durations for Truly-Concurrent Transitions. 173-187 BibTeX
Thomas P. Jensen, Ian Mackie: Flow Analysis in the Geometry of Interaction. 188-203 BibTeX
John Launchbury, Ross Paterson: Parametricity and Unboxing with Unpointed Types. 204-218 BibTeX
Sheng Liang, Paul Hudak: Modular Denotational Semantics for Compiler Construction. 219-234 BibTeX
Florence Maraninchi, Nicolas Halbwachs: Compositional Semantics of Non-Deterministic Synchronous Languages. 235-249 BibTeX
Stephan Melzer, Javier Esparza: Checking System Properties via Integer Programming. 250-264 BibTeX
Ugo Montanari, Marco Pistore, Daniel Yankelevich: Efficient Minimization up to Location Equivalence. 265-279 BibTeX
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr: A New Approach to Compiling Adaptive Programs. 280-295 BibTeX
Ekkehard Rohwedder, Frank Pfenning: Mode and Termination Checking for Higher-Order Logic Programs. 296-310 BibTeX
Eva Rose: Linear Time Hierarchies for a Functional Language Machine Model. 311-325 BibTeX
Helmut Seidl: Integer Constraints to Stop Deforestation. 326-340 BibTeX
Geoffrey Smith, Dennis M. Volpano: Towards an ML-Style Polymorphic Type System for C. 341-355 BibTeX
Ketil Stølen: Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. 356-372 BibTeX
Michael Thuné, Krister Åhlander: Towards an Expressive Language for PDE Solvers. 373-386 BibTeX
Steffen van Bakel, Franco Barbanera, Maribel Fernández: Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. 387-403 BibTeX