Proceedings of the Eighth 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

S. Doaitse Swierstra
Proceedings of the Eighth European Symposium on Programming
ESOP, 1999.

Full names Links ISxN
	address       = "Amsterdam, The Netherlands",
	editor        = "S. Doaitse Swierstra",
	isbn          = "3-540-65699-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth European Symposium on Programming}",
	volume        = 1576,
	year          = 1999,

Contents (19 items)

ESOP-1999-Hudak #functional #programming
Functional Reactive Programming (PH), p. 1.
ESOP-1999-BenediktRS #data type #decidability #linked data #logic #open data
A Decidable Logic for Describing Linked Data Structures (MB, TWR, SS), pp. 2–19.
ESOP-1999-NielsonN #analysis #control flow #interprocedural
Interprocedural Control Flow Analysis (FN, HRN), pp. 20–39.
ESOP-1999-SabelfeldS #data flow #source code
A Per Model of Secure Information Flow in Sequential Programs (AS, DS), pp. 40–58.
ESOP-1999-KingSH #analysis #dependence
Quotienting Share for Dependency Analysis (AK, JGS, PMH), pp. 59–73.
ESOP-1999-GayH #interactive #type system
Types and Subtypes for Client-Server Interactions (SJG, MH), pp. 74–90.
Types for Safe Locking (CF, MA), pp. 91–108.
ESOP-1999-BartheF #type system
Constructor Subtyping (GB, MJF), pp. 109–127.
Safe and Principled Language Interoperation (VT, ZS), pp. 128–146.
ESOP-1999-Norrish #c
Deterministic Expressions in C (MN), pp. 147–161.
ESOP-1999-Poetzsch-HeffterM #java #logic #programming
A Programming Logic for Sequential Java (APH, PM), pp. 162–176.
ESOP-1999-PodelskiCM #analysis #concurrent #constraints #logic programming #source code
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs (AP, WC, MM), pp. 177–192.
ESOP-1999-MoggiTBS #ml
An Idealized MetaML: Simpler, and More Expressive (EM, WT, ZEAB, TS), pp. 193–207.
ESOP-1999-Mycroft #decompiler #re-engineering #type system
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) (AM), pp. 208–223.
ESOP-1999-DanvyY #continuation
An Operational Investigation of the CPS Hierarchy (OD, ZY), pp. 224–242.
ESOP-1999-Thiemann #higher-order
Higher-Order Code Splicing (PT), pp. 243–257.
Expressing Structural Properties as Language Constructs (SK, YDE, MF), pp. 258–272.
ESOP-1999-JanssonJ #parsing
Polytypic Compact Printing and Parsing (PJ, JJ), pp. 273–287.
ESOP-1999-LiuS #programming
Dynamic Programming via Static Incrementalization (YAL, SDS), pp. 288–305.

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.