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

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

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

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.

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.