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, 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 updated on Mon May 20 01:57:33 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page