default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. 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
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.
last updated on 2024-12-17 21:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
