Giuseppe Castagna
Proceedings of the 18th European Symposium on Programming
ESOP, 2009.

@proceedings{ESOP-2009,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-642-00590-9",
	editor        = "Giuseppe Castagna",
	isbn          = "978-3-642-00589-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th European Symposium on Programming}",
	volume        = 5502,
	year          = 2009,
}

Contents (28 items)

4 ×#design
4 ×#verification
3 ×#source code
3 ×#type system
2 ×#algorithm
2 ×#automation
2 ×#composition
2 ×#concurrent
2 ×#formal method
2 ×#higher-order

ESOP-2009-WadlerF #source code

Well-Typed Programs Can’t Be Blamed (PW, RBF), pp. 1–16.

ESOP-2009-SiekGT #design #higher-order

Exploring the Design Space of Higher-Order Casts (JGS, RG, WT), pp. 17–31.

ESOP-2009-StricklandTF #morphism #polymorphism

Practical Variable-Arity Polymorphism (TSS, STH, MF), pp. 32–46.

ESOP-2009-LakinP #functional #higher-order #induction #programming

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.

ESOP-2009-Reynolds #category theory #design #programming language #using

Using Category Theory to Design Programming Languages (JCR), pp. 62–63.

ESOP-2009-Jaskelioff #composition #monad

Modular Monad Transformers (MJ), pp. 64–79.

ESOP-2009-PlotkinP #algebra

Handlers of Algebraic Effects (GDP, MP), pp. 80–94.

ESOP-2009-MalayeriA #empirical #type system

Is Structural Subtyping Useful? An Empirical Study (DM, JA), pp. 95–111.

ESOP-2009-CraciunCHQ #parametricity

An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.

ESOP-2009-CameronD #quantifier

Existential Quantification for Variant Ownership (NRC, SD), pp. 128–142.

ESOP-2009-SchaferEM #attribute grammar #coq #formal method #verification

Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.

ESOP-2009-BarthwalN #execution #parsing

Verified, Executable Parsing (AB, MN), pp. 160–174.

ESOP-2009-YuanE #algorithm #performance #problem #reachability

An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees (HY, PTE), pp. 175–189.

ESOP-2009-Campbell #analysis #data type #memory management #using

Amortised Memory Analysis Using the Depth of Data Structures (BC), pp. 190–204.

ESOP-2009-Eber #contract #design #programming language #question #specification #tool support #what

The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.

ESOP-2009-DemangeS

All Secrets Great and Small (DD, DS), pp. 207–221.

ESOP-2009-KikuchiK #authentication #automation #encryption #protocol #type system #verification

Type-Based Automated Verification of Authenticity in Cryptographic Protocols (DK, NK), pp. 222–236.

ESOP-2009-Sumii #for free #formal method #memory management

A Theory of Non-monotone Memory (Or: Contexts for free) (ES), pp. 237–251.

ESOP-2009-FilipovicORY #abstraction #concurrent

Abstraction for Concurrent Objects (IF, PWO, NR, HY), pp. 252–266.

ESOP-2009-BonchiM #algorithm #similarity

Minimization Algorithm for Symbolic Bisimilarity (FB, UM), pp. 267–284.

ESOP-2009-CairesV

Conversation Types (LC, HTV), pp. 285–300.

ESOP-2009-BuscemiM #distributed #process

Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.

ESOP-2009-MostrousYH #commutative #type system

Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.

ESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.

ESOP-2009-RazaCG #automation #logic #parallel

Automatic Parallelization with Separation Logic (MR, CC, PG), pp. 348–362.

ESOP-2009-DoddsFPV #reasoning

Deny-Guarantee Reasoning (MD, XF, MJP, VV), pp. 363–377.

ESOP-2009-LeinoM #concurrent #multi #source code #thread #verification

A Basis for Verifying Multi-threaded Programs (KRML, PM), pp. 378–393.

ESOP-2009-SadowskiFF #named #parallel #source code #thread

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.