Donald Sannella
Selected Papers of the Fifth European Symposium on Programming
ESOP-J-1994, 1995.

@proceedings{ESOP-J-1994,
	editor        = "Donald Sannella",
	journal       = "{Science of Computer Programming}",
	number        = "2-3",
	title         = "{Selected Papers of the Fifth European Symposium on Programming}",
	volume        = 25,
	year          = 1995,
}

Contents (7 items)

ESOP-J-1994-AbadiC95 #formal method #higher-order

A Theory of Primitive Objects: Second-Order Systems (MA, LC), pp. 81–116.

ESOP-J-1994-Andrews95 #constraints #implementation #logic programming

Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 117–147.

ESOP-J-1994-BidoitHW95 #behaviour #specification

Behavioural and Abstractor Specifications (MB, RH, MW), pp. 149–186.

ESOP-J-1994-GiegerichK95 #comparison #functional #imperative

A Comparison of Imperative and Purely Functional Suffix Tree Constructions (RG, SK), pp. 187–218.

ESOP-J-1994-HankinM95 #lazy evaluation #program analysis #type inference

Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.

ESOP-J-1994-Jay95 #semantics

A Semantics for Shape (CBJ), pp. 251–283.

ESOP-J-1994-Prasad95 #calculus

A Calculus of Broadcasting Systems (KVSP), pp. 285–327.