ESOP 1988
28 papers
- 2-level lambda-lifting
- A Functional Language for the Specification of Complex Tree Transformations
- A Functional Language for the Specification of Complex Tree Transformations (System Exhibition)
- A Polymorphic Type System with Subtypes for Prolog
- A Semantics Driven Temporal Verification System
- A Theory of Software Reusability
- Adding Relational Query Facilities to Software Development Environments
- Algebraic Formalisation of Program Development by Transformation
- An Exception Handling Construct for Functional Languages
- CEC: A System for the Completion of Conditional Equational Specifications
- Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors
- Compilation of Logic Programs for Restricted And-Parallelism
- Deforestation: Transforming Programs to Eliminate Trees
- Enhancing Prolog to Support Prolog Programming Environments
- Extending Functional Programming Towards Relations
- Garp: Graph Abstractions for Concurrent Programming
- Implementation of Lazy Pattern Matching Algorithms
- Implementation of Modular Algebraic Specifications
- LPG: A Generic, Logic and Functional Programming Language
- New Insights into Partial Evaluation: the SCHISM Experiment
- On Implementing Logic Programming Languages on a Dataflow Architecture
- Parametric Overloading in Polymorphic Programming Languages
- Perfect Pipelining: A New Loop Parallelization Technique
- Programming with Proofs: A Second Order Type Theory
- QPC: QJ-based Proof Compiler - Simple Examples and Analysis
- Semantics-Based Program Integration
- The PSG System: From Formal Language Definitions to Interactive Programming Environments
- Type Inference with Subtypes