Andrew D. Gordon
Proceedings of the 19th European Symposium on Programming
ESOP, 2010.

@proceedings{ESOP-2010,
	address       = "Paphos, Cyprus",
	doi           = "10.1007/978-3-642-11957-6",
	editor        = "Andrew D. Gordon",
	isbn          = "978-3-642-11956-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th European Symposium on Programming}",
	volume        = 6012,
	year          = 2010,
}

Contents (32 items)

6 ×#logic
3 ×#analysis
3 ×#concurrent
3 ×#reasoning
3 ×#semantics
3 ×#source code
3 ×#verification
2 ×#approach
2 ×#automation
2 ×#contract

ESOP-2010-LindleyW #database

The Audacity of Hope: Thoughts on Reclaiming the Database Dream (SL, PW), p. 1.

ESOP-2010-NaumannB #bound #first-order #higher-order #information management

Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.

ESOP-2010-AdjeGG #invariant #policy #static analysis

Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.

ESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.

ESOP-2010-AskarovM #classification #framework #semantics

A Semantic Framework for Declassification and Endorsement (AA, AM), pp. 64–84.

ESOP-2010-Atkey #analysis #logic

Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.

ESOP-2010-BaillotGM #functional #linear #logic

A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.

ESOP-2010-BernardyJC #polymorphism #testing

Testing Polymorphic Properties (JPB, PJ, KC), pp. 125–144.

ESOP-2010-BlazyRA #graph #verification

Formal Verification of Coalescing Graph-Coloring Register Allocation (SB, BR, AWA), pp. 145–164.

ESOP-2010-BoudolP #formal method

A Theory of Speculative Computation (GB, GP), pp. 165–184.

ESOP-2010-DSilva #abstract interpretation

Propositional Interpolation and Abstract Interpretation (VD), pp. 185–204.

ESOP-2010-LagoS #functional #programming #sublinear

Functional Programming in Sublinear Space (UDL, US), pp. 205–225.

ESOP-2010-DeshmukhRRV #concurrent #logic #proving

Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.

ESOP-2010-DilligDA

Fluid Updates: Beyond Strong vs. Weak Updates (ID, TD, AA), pp. 246–266.

ESOP-2010-FerreiraFS #concurrent #logic #memory management #modelling

Parameterized Memory Models and Concurrent Separation Logic (RF, XF, ZS), pp. 267–286.

ESOP-2010-HoffmannH #analysis #polynomial

Amortized Resource Analysis with Polynomial Potential (JH, MH), pp. 287–306.

ESOP-2010-JagadeesanPR #generative #memory management #modelling #semantics

Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.

ESOP-2010-KingJMJJS #automation #security

Automating Security Mediation Placement (DK, SJ, DM, TJ, SJ, SAS), pp. 327–344.

ESOP-2010-KoprowskiB #interpreter #named #parsing

TRX: A Formally Verified Parser Interpreter (AK, HB), pp. 345–365.

ESOP-2010-LaneseVF #on the #power of

On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.

ESOP-2010-LavironCR #graph

Separating Shape Graphs (VL, BYEC, XR), pp. 387–406.

ESOP-2010-LeinoMS #concurrent

Deadlock-Free Channels and Locks (KRML, PM, JS), pp. 407–426.

ESOP-2010-Lochbihler #compilation #java #thread #verification

Verifying a Compiler for Java Threads (AL), pp. 427–447.

ESOP-2010-MatsudaMHT #approach #grammarware #source code

A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.

ESOP-2010-MeolaW #fault tolerance #logic #reasoning #source code

Faulty Logic: Reasoning about Fault Tolerant Programs (MLM, DW), pp. 468–487.

ESOP-2010-NakataU #hoare #induction #logic #semantics

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.

ESOP-2010-SouleHGGAKW #calculus

A Universal Calculus for Stream Processing Languages (RS, MH, RG, BG, HA, VK, KLW), pp. 507–528.

ESOP-2010-SwamyCC #data flow #policy

Enforcing Stateful Authorization and Information Flow Policies in Fine (NS, JC, RC), pp. 529–549.

ESOP-2010-TovP #contract

Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.

ESOP-2010-VardoulakisS #analysis #approach #control flow #named

CFA2: A Context-Free Approach to Control-Flow Analysis (DV, OS), pp. 570–589.

ESOP-2010-Wenner #automaton #network

Weighted Dynamic Pushdown Networks (AW), pp. 590–609.

ESOP-2010-WickersonDP #composition #reasoning

Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.