![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2. ESOP 1988: Nancy, France
- Harald Ganzinger:
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
- Thomas W. Reps, Susan Horwitz:
Semantics-Based Program Integration. 1-20
Program Development and Verification
- 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
Algebraic Specification and Type Concepts
- 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
Language Concepts
- 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
Implementation of Programming Languages
- 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
Systems Exhibition
- 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, Brigitte 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.