Gert Smolka
Proceedings of the Ninth European Symposium on Programming
ESOP, 2000.

@proceedings{ESOP-2000,
	address       = "Berlin, Germany",
	editor        = "Gert Smolka",
	isbn          = "3-540-67262-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth European Symposium on Programming}",
	volume        = 1782,
	year          = 2000,
}

Contents (27 items)

4 ×#analysis
3 ×#continuation
3 ×#functional
3 ×#on the
3 ×#source code
2 ×#calculus
2 ×#compilation
2 ×#correctness
2 ×#implementation

ESOP-2000-Odersky #functional

Functional Nets (MO), pp. 1–25.

ESOP-2000-AmtoftT #polymorphism

Faithful Translations between Polyvariant Flows and Polymorphic Types (TA, FAT), pp. 26–40.

ESOP-2000-BusiZ #coordination #data-driven #on the

On the Expressiveness of Event Notification in Data-Driven Coordination Languages (NB, GZ), pp. 41–55.

ESOP-2000-CejtinJW

Flow-Directed Closure Conversion for Typed Languages (HC, SJ, SW), pp. 56–71.

ESOP-2000-Charatonik #logic programming #source code #type checking

Directional Type Checking for Logic Programs: Beyond Discriminative Types (WC), pp. 72–87.

ESOP-2000-Danvy #continuation #formal method #implementation

Formalizing Implementation Strategies for First-Class Continuations (OD), pp. 88–103.

ESOP-2000-DenneyJ #correctness #java #logic

Correctness of Java Card Method Lookup via Logical Relations (ED, TPJ), pp. 104–118.

ESOP-2000-ElgaardMS #c #debugging #source code

Compile-Time Debugging of C Programs Working on Trees (JE, AM, MIS), pp. 119–134.

ESOP-2000-FisherRR #calculus #compilation

A Calculus for Compiling and Linking Classes (KF, JHR, JGR), pp. 135–149.

ESOP-2000-HeatonHK #abstract domain

Abstract Domains for Universal and Existential Properties (AH, PMH, AK), pp. 150–164.

ESOP-2000-Hofmann #bound #functional #type system

A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.

ESOP-2000-HondaVY #behaviour #data flow #process

Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.

ESOP-2000-HoweK #analysis #implementation

Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.

ESOP-2000-Hughes #correctness

The Correctness of Type Specialisation (JH), pp. 215–229.

ESOP-2000-Jones #dependence #functional

Type Classes with Functional Dependencies (MPJ), pp. 230–244.

ESOP-2000-LawallM #continuation

Sharing Continuations: Proofnets for Languages with Explicit Control (JLL, HGM), pp. 245–259.

ESOP-2000-MachkasovaT #calculus #compilation

A Calculus for Link-Time Compilation (EM, FAT), pp. 260–274.

ESOP-2000-Mauborgne #infinity #representation #set

Improving the Representation of Infinite Trees to Deal with Sets of Trees (LM), pp. 275–289.

ESOP-2000-Muller-OlmW #finite #on the

On the Translation of Procedures to Finite Machines (MMO, AW), pp. 290–304.

ESOP-2000-NielsonNS #analysis #mobile

A Kleene Analysis of Mobile Ambients (FN, HRN, SS), pp. 305–319.

ESOP-2000-Pottier #type inference

A 3-Part Type Inference Engine (FP), pp. 320–335.

ESOP-2000-Russo #ml #standard

First-Class Structures for Standard ML (CVR), pp. 336–350.

ESOP-2000-SeidlS #analysis #constraints #interprocedural #parallel #source code

Constraint-Based Inter-Procedural Analysis of Parallel Programs (HS, BS), pp. 351–365.

ESOP-2000-SmithWM #alias

Alias Types (FS, DW, JGM), pp. 366–381.

ESOP-2000-SmithW #analysis

Polyvariant Flow Analysis with Constrained Types (SFS, TW), pp. 382–396.

ESOP-2000-Thielecke #continuation #exception #on the

On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.

ESOP-2000-WellsV #equation #reasoning

Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.