Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, ProceedingsMatthias Felleisen, Philippa Gardner This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis. |
Other editions - View all
Common terms and phrases
actions algebraic algebraic datatypes algorithm allows analysis assertion buffer calculus client coalgebra coinductive component computation concurrent conflict serializability constraints constructor context contract corresponding data structures defined definition delay denotes distributed encoding evaluation example execution expression finite formula function GADTs goto graph hazard pointers Heidelberg higher-order implementation input invariant join-calculus kernel labels lazy Lemma linear linear logic linearizability LNCS lock loop memory models method model checking node object OCaml operational semantics operations output parametric partial compilers Petri nets pi-calculus polymorphic predicate pretty-printer probabilistic process calculi programming language proof protocol reachability recursive reduction refinement type relation result rules Section semantics separation logic sequence sequential consistency session types shared specification Springer subtyping t₁ target term Theorem thread tion trace transition type system update variables verification write