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

Invited Speakers

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

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

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

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

Rolf Bahlke, Gregor Snelting:
The PSG System: From Formal Language Definitions to Interactive Programming Environments. 374-375
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
Hubert Bertling, Harald Ganzinger, Renate Schäfers:
CEC: A System for the Completion of Conditional Equational Specifications. 378-379
Reinhold Heckmann:
A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). 380

Last update Wed Feb 15 05:01:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page