Donald Sannella
Proceedings of the Fifth European Symposium on Programming
ESOP, 1994.

@proceedings{ESOP-1994,
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Donald Sannella",
	isbn          = "3-540-57880-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth European Symposium on Programming}",
	volume        = 788,
	year          = 1994,
}

Contents (33 items)

5 ×#polymorphism
5 ×#semantics
4 ×#analysis
4 ×#functional
3 ×#constraints
3 ×#logic
3 ×#logic programming
3 ×#morphism
2 ×#algebra
2 ×#behaviour

ESOP-1994-AbadiC #formal method

A Theory of Primitive Objects — Scond-Order Systems (MA, LC), pp. 1–25.

ESOP-1994-Milner #named #visual notation #π-calculus

Pi-Nets: A Graphical Form of π-Calculus (RM), pp. 26–42.

ESOP-1994-Amtoft #fixpoint #re-engineering

Local Type Reconstruction by Means of Symbolic Fixed Point Iteration (TA), pp. 43–57.

ESOP-1994-AndersenM #algebra #multi

An Asynchronous Algebra with Multiple Clocks (HRA, MM), pp. 58–73.

ESOP-1994-Andrews #constraints #implementation #logic programming

Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 74–88.

ESOP-1994-BerthomieuS #behaviour #framework #ml #programming #semantics #syntax

Programming with Behaviors in an ML Framework — The Syntax and Semantics of LCS (BB, TLS), pp. 89–104.

ESOP-1994-BidoitHW #behaviour #semantics

Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.

ESOP-1994-Boerio #higher-order #polymorphism #λ-calculus

Extending Pruning Techniques to Polymorphic Second order λ-Calculus (LB), pp. 120–134.

ESOP-1994-BohmPG #normalisation

λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.

ESOP-1994-Buth #simulation #term rewriting

Simulation of SOS Definitions with Term Rewriting Systems (KHB), pp. 150–164.

ESOP-1994-CiceroneP #composition #design #interface

Strategies in Modular System Design by Interface Rewriting (SC, FPP), pp. 165–179.

ESOP-1994-CorsiniR #constraints #logic programming #model checking

Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization (MMC, AR), pp. 180–194.

ESOP-1994-PierroP #constraints #logic #logic programming #semantics

A Logical Denotational Semantics for Constraint Logic Programming (ADP, CP), pp. 195–210.

ESOP-1994-Fradet #compilation #reduction

Compilation of Head and Strong Reduction (PF), pp. 211–224.

ESOP-1994-GiegerichK #functional #paradigm #programming

Suffix Trees in the Functional Programming Paradigm (RG, SK), pp. 225–240.

ESOP-1994-HallHJW #haskell

Type Classes in Haskell (CVH, KH, SLPJ, PW), pp. 241–256.

ESOP-1994-HankinM #analysis #lazy evaluation #strict #type inference

Lazy Type Inference for the Strictness Analysis of Lists (CH, DLM), pp. 257–271.

ESOP-1994-Hanus #lazy evaluation #unification

Lazy Unification with Simplification (MH), pp. 272–286.

ESOP-1994-HengleinM #analysis #polymorphism

Polymorphic Binding-Time Analysis (FH, CM), pp. 287–301.

ESOP-1994-JayC #morphism #polymorphism

Shapely Types and Shape Polymorphism (CBJ, JRBC), pp. 302–316.

ESOP-1994-JeuringS #analysis #bottom-up #functional

Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.

ESOP-1994-Kahrs #ml #morphism #polymorphism

First-Class Polymorphism for ML (SK), pp. 333–347.

ESOP-1994-Kennedy

Dimension Types (AK), pp. 348–362.

ESOP-1994-King #analysis

A Synergistic Analysis for Sharing and Groundness with Traces Linearity (AK), pp. 363–378.

ESOP-1994-Li #prolog #specification #π-calculus

A π-Calculus Specification of Prolog (BZL), pp. 379–393.

ESOP-1994-Li94a #evolution #framework #logic #specification

A Logical Framework for Evolution of Specifications (WL), pp. 394–408.

ESOP-1994-MacQueenT #higher-order #semantics

A Semantics for Higher-Order Functors (DBM, MT), pp. 409–423.

ESOP-1994-Moreau #automaton #continuation #evaluation #functional #parallel #source code

The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations (LM), pp. 424–438.

ESOP-1994-MuckS #continuation #functional #logic #semantics

A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.

ESOP-1994-OHearnR #morphism #parametricity #polymorphism

Fully Abstract Translations and Parametric Polymorphism (PWO, JGR), pp. 454–468.

ESOP-1994-Prasad

Broadcasting with Priority (KVSP), pp. 469–484.

ESOP-1994-SorensenGJ #deforestation #partial evaluation #supercompilation #towards

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.

ESOP-1994-Walker #algebra #proving

Algebraic Proofs of Properties of Objects (DW), pp. 501–516.