2. ESOP 1988: Nancy, France

Harald Ganzinger (Ed.): ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings. Lecture Notes in Computer Science 300 Springer 1988, ISBN 3-540-19027-9 BibTeX

@proceedings{DBLP:conf/esop/1988,
  editor    = {Harald Ganzinger},
  title     = {ESOP '88, 2nd European Symposium on Programming, Nancy, France,
               March 21-24, 1988, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {300},
  year      = {1988},
  isbn      = {3-540-19027-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speakers

Thomas W. Reps, Susan Horwitz: Semantics-Based Program Integration. 1-20 BibTeX

Program Development and Verification

Graham Gough, Howard Barringer: A Semantics Driven Temporal Verification System. 21-33 BibTeX
Bernd Krieg-Brückner: Algebraic Formalisation of Program Development by Transformation. 34-48 BibTeX
Yukihide Takayama: QPC: QJ-based Proof Compiler - Simple Examples and Analysis. 49-63 BibTeX

Algebraic Specification and Type Concepts

N. W. P. van Diepen: Implementation of Modular Algebraic Specifications. 64-78 BibTeX
Roland Dietrich, Frank Hagl: A Polymorphic Type System with Subtypes for Prolog. 79-93 BibTeX
You-Chin Fuh, Prateek Mishra: Type Inference with Subtypes. 94-114 BibTeX
Marie-Claude Gaudel, Th. Moineau: A Theory of Software Reusability. 115-130 BibTeX
Stefan Kaes: Parametric Overloading in Polymorphic Programming Languages. 131-144 BibTeX
Michel Parigot: Programming with Proofs: A Second Order Type Theory. 145-159 BibTeX

Language Concepts

Manfred Bretz, Jürgen Ebert: An Exception Handling Construct for Functional Languages. 160-174 BibTeX
Reinhold Heckmann: A Functional Language for the Specification of Complex Tree Transformations. 175-190 BibTeX
Simon M. Kaplan, Gail E. Kaiser: Garp: Graph Abstractions for Concurrent Programming. 191-205 BibTeX
Remi Legrand: Extending Functional Programming Towards Relations. 206-220 BibTeX

Implementation of Programming Languages

Alexander Aiken, Alexandru Nicolau: Perfect Pipelining: A New Loop Parallelization Technique. 221-235 BibTeX
Charles Consel: New Insights into Partial Evaluation: the SCHISM Experiment. 236-246 BibTeX
Robert Giegerich, Karl Schmal: Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. 247-268 BibTeX
Susan Horwitz: Adding Relational Query Facilities to Software Development Environments. 269-283 BibTeX
Dean Jacobs, Anno Langen: Compilation of Logic Programs for Restricted And-Parallelism. 284-297 BibTeX
Alain Laville: Implementation of Lazy Pattern Matching Algorithms. 298-316 BibTeX
Alberto Martelli, Gianfranco Rossi: Enhancing Prolog to Support Prolog Programming Environments. 317-327 BibTeX
Flemming Nielson, Hanne Riis Nielson: 2-level lambda-lifting. 328-343 BibTeX
Philip Wadler: Deforestation: Transforming Programs to Eliminate Trees. 344-358 BibTeX
Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt: On Implementing Logic Programming Languages on a Dataflow Architecture. 359-372 BibTeX

Systems Exhibition

Rolf Bahlke, Gregor Snelting: The PSG System: From Formal Language Definitions to Interactive Programming Environments. 374-375 BibTeX
Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre-Yves Schobbens, François Wautier: LPG: A Generic, Logic and Functional Programming Language. 376-377 BibTeX
Hubert Bertling, Harald Ganzinger, Renate Schäfers: CEC: A System for the Completion of Conditional Equational Specifications. 378-379 BibTeX
Reinhold Heckmann: A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). 380 BibTeX