Abstract is missing.
- Semantics-Based Program IntegrationThomas W. Reps, Susan Horwitz. 1-20
- A Semantics Driven Temporal Verification SystemGraham Gough, Howard Barringer. 21-33
- Algebraic Formalisation of Program Development by TransformationBernd Krieg-Brückner. 34-48
- QPC: QJ-based Proof Compiler - Simple Examples and AnalysisYukihide Takayama. 49-63
- Implementation of Modular Algebraic SpecificationsN. W. P. van Diepen. 64-78
- A Polymorphic Type System with Subtypes for PrologRoland Dietrich, Frank Hagl. 79-93
- Type Inference with SubtypesYou-Chin Fuh, Prateek Mishra. 94-114
- A Theory of Software ReusabilityMarie-Claude Gaudel, Th. Moineau. 115-130
- Parametric Overloading in Polymorphic Programming LanguagesStefan Kaes. 131-144
- Programming with Proofs: A Second Order Type TheoryMichel Parigot. 145-159
- An Exception Handling Construct for Functional LanguagesManfred Bretz, Jürgen Ebert. 160-174
- A Functional Language for the Specification of Complex Tree TransformationsReinhold Heckmann. 175-190
- Garp: Graph Abstractions for Concurrent ProgrammingSimon M. Kaplan, Gail E. Kaiser. 191-205
- Extending Functional Programming Towards RelationsRemi Legrand. 206-220
- Perfect Pipelining: A New Loop Parallelization TechniqueAlexander Aiken, Alexandru Nicolau. 221-235
- New Insights into Partial Evaluation: the SCHISM ExperimentCharles Consel. 236-246
- Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of DerivorsRobert Giegerich, Karl Schmal. 247-268
- Adding Relational Query Facilities to Software Development EnvironmentsSusan Horwitz. 269-283
- Compilation of Logic Programs for Restricted And-ParallelismDean Jacobs, Anno Langen. 284-297
- Implementation of Lazy Pattern Matching AlgorithmsAlain Laville. 298-316 [doi]
- Enhancing Prolog to Support Prolog Programming EnvironmentsAlberto Martelli, Gianfranco Rossi. 317-327
- 2-level lambda-liftingFlemming Nielson, Hanne Riis Nielson. 328-343 [doi]
- Deforestation: Transforming Programs to Eliminate TreesPhilip Wadler. 344-358
- On Implementing Logic Programming Languages on a Dataflow ArchitecturePatrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt. 359-372
- The PSG System: From Formal Language Definitions to Interactive Programming EnvironmentsRolf Bahlke, Gregor Snelting. 374-375
- LPG: A Generic, Logic and Functional Programming LanguageDidier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre Yves Schobbens, François Wautier. 376-377
- CEC: A System for the Completion of Conditional Equational SpecificationsHubert Bertling, Harald Ganzinger, Renate Schäfers. 378-379
- A Functional Language for the Specification of Complex Tree Transformations (System Exhibition)Reinhold Heckmann. 380