Harald Ganzinger
Proceedings of the Second European Symposium on Programming
ESOP, 1988.

@proceedings{ESOP-1988,
	address       = "Nancy, France",
	editor        = "Harald Ganzinger",
	isbn          = "3-540-19027-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second European Symposium on Programming}",
	volume        = 300,
	year          = 1988,
}

Contents (28 items)

5 ×#functional
5 ×#named
5 ×#programming
4 ×#specification
3 ×#formal method
3 ×#implementation
3 ×#programming language
3 ×#type system
2 ×#algebra
2 ×#compilation

ESOP-1988-RepsH #integration #semantics

Semantics-Based Program Integration (TWR, SH), pp. 1–20.

ESOP-1988-GoughB #semantics #verification

A Semantics Driven Temporal Verification System (GG, HB), pp. 21–33.

ESOP-1988-Krieg-Bruckner #algebra #development #formal method

Algebraic Formalisation of Program Development by Transformation (BKB), pp. 34–48.

ESOP-1988-Takayama #analysis #compilation #named #proving

QPC: QJ-based Proof Compiler — Simple Examples and Analysis (YT), pp. 49–63.

ESOP-1988-Diepen #algebra #composition #implementation #specification

Implementation of Modular Algebraic Specifications (NWPvD), pp. 64–78.

ESOP-1988-DietrichH #polymorphism #prolog #type system

A Polymorphic Type System with Subtypes for Prolog (RD, FH), pp. 79–93.

ESOP-1988-FuhM #type inference #type system

Type Inference with Subtypes (YCF, PM), pp. 94–114.

ESOP-1988-GaudelM #formal method #reuse #usability

A Theory of Software Reusability (MCG, TM), pp. 115–130.

ESOP-1988-Kaes #parametricity #polymorphism #programming language

Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.

ESOP-1988-Parigot #higher-order #programming #proving #type system

Programming with Proofs: A Second Order Type Theory (MP), pp. 145–159.

ESOP-1988-BretzE #exception #functional

An Exception Handling Construct for Functional Languages (MB, JE), pp. 160–174.

ESOP-1988-Heckmann #functional #program transformation #specification

A Functional Language for the Specification of Complex Tree Transformations (RH), pp. 175–190.

ESOP-1988-KaplanK #abstraction #concurrent #graph #named #programming

Garp: Graph Abstractions for Concurrent Programming (SMK, GEK), pp. 191–205.

ESOP-1988-Legrand #functional #programming #towards

Extending Functional Programming Towards Relations (RL), pp. 206–220.

ESOP-1988-AikenN #parallel #pipes and filters

Perfect Pipelining: A New Loop Parallelization Technique (AA, AN), pp. 221–235.

ESOP-1988-Consel #empirical #partial evaluation

New Insights into Partial Evaluation: the SCHISM Experiment (CC), pp. 236–246.

ESOP-1988-GiegerichS #parsing #pattern matching

Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors (RG, KS), pp. 247–268.

ESOP-1988-Horwitz #development #query #relational

Adding Relational Query Facilities to Software Development Environments (SH), pp. 269–283.

ESOP-1988-JacobsL #compilation #logic programming #source code #strict

Compilation of Logic Programs for Restricted And-Parallelism (DJ, AL), pp. 284–297.

ESOP-1988-Laville #algorithm #implementation #lazy evaluation #pattern matching

Implementation of Lazy Pattern Matching Algorithms (AL), pp. 298–316.

ESOP-1988-MartelliR #programming #prolog

Enhancing Prolog to Support Prolog Programming Environments (AM, GR), pp. 317–327.

ESOP-1988-NielsonN #λ-calculus

2-level λ-lifting (FN, HRN), pp. 328–343.

ESOP-1988-Wadler #deforestation #named #source code

Deforestation: Transforming Programs to Eliminate Trees (PW), pp. 344–358.

ESOP-1988-WeemeeuwBH #architecture #data flow #implementation #logic programming #on the #programming language

On Implementing Logic Programming Languages on a Dataflow Architecture (PW, MB, MDH), pp. 359–372.

ESOP-1988-BahlkeS #formal method #interactive #programming

The PSG System: From Formal Language Definitions to Interactive Programming Environments (RB, GS), pp. 374–375.

ESOP-1988-BertDEDDSW #functional #logic #named #programming language

LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.

ESOP-1988-BertlingGS #equation #named #specification

CEC: A System for the Completion of Conditional Equational Specifications (HB, HG, RS), pp. 378–379.

ESOP-1988-Heckmann88a #functional #program transformation #specification

A Functional Language for the Specification of Complex Tree Transformations (RH), p. 380.