Selected Papers of the Fifth European Symposium on Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.

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

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.