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

@proceedings{ESOP-1999,
	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)

3 ×#analysis
3 ×#programming
3 ×#type system
2 ×#logic
2 ×#source code

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.

ESOP-1999-FlanaganA

Types for Safe Locking (CF, MA), pp. 91–108.

ESOP-1999-BartheF #type system

Constructor Subtyping (GB, MJF), pp. 109–127.

ESOP-1999-TrifonovS

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.

ESOP-1999-KrishnamurthiEF

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.