Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-19 19:18 CEST 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:
