Selected Papers of the Fifth European Symposium on Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

no DBLP info
Full names Links ISxN
	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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.