Proceedings of the 23rd 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

Zhong Shao
Proceedings of the 23rd European Symposium on Programming
ESOP, 2014.

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{ESOP-2014,
	address       = "Grenoble, France",
	doi           = "10.1007/978-3-642-54833-8",
	editor        = "Zhong Shao",
	isbn          = "978-3-642-54832-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23rd European Symposium on Programming}",
	volume        = 8410,
	year          = 2014,
}

Contents (29 items)

ESOP-2014-HerlihyK #composition #transaction
Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.
ESOP-2014-LaunchburyADM #multi
Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.
ESOP-2014-SlepakSM #morphism #polymorphism #rank
An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.
ESOP-2014-ThiemannF #type system
Gradual Typing for Annotated Type Systems (PT, LF), pp. 47–66.
ESOP-2014-DudderMR #composition #staged #synthesis
Staged Composition Synthesis (BD, MM, JR), pp. 67–86.
ESOP-2014-CockxPD #independence #similarity
Overlapping and Order-Independent Patterns — Definitional Equality for All (JC, FP, DD), pp. 87–106.
ESOP-2014-BeringerSDA #c #compilation
Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
ESOP-2014-PercontiA #compilation #multi #semantics #using #verification
Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.
ESOP-2014-SvendsenB #concurrent
Impredicative Concurrent Abstract Predicates (KS, LB), pp. 149–168.
ESOP-2014-GardnerNW #file system #reasoning
Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
ESOP-2014-BenzakenCD #coq #formal method #relational
A Coq Formalization of the Relational Data Model (VB, EC, SD), pp. 189–208.
ESOP-2014-CrubilleL #bisimulation #call-by #on the #probability #λ-calculus
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (RC, UDL), pp. 209–228.
ESOP-2014-AguadoMHF #concurrent #programming
Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
ESOP-2014-DownenA
The Duality of Construction (PD, ZMA), pp. 249–269.
ESOP-2014-PoulsenM #semantics
Deriving Pretty-Big-Step Semantics from Small-Step Semantics (CBP, PDM), pp. 270–289.
ESOP-2014-NanevskiLSD #communication #concurrent #fine-grained
Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.
ESOP-2014-ZomerGRS #encapsulation
Checking Linearizability of Encapsulated Extended Operations (OZ, GGG, GR, MS), pp. 311–330.
ESOP-2014-GhicaS #bound #linear
Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
ESOP-2014-BrunelGMZ #calculus
A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.
ESOP-2014-YoshimizuHFL #higher-order #metric #proving #quantum
Measurements in Proof Nets as Higher-Order Quantum Circuits (AY, IH, CF, UDL), pp. 371–391.
ESOP-2014-KuwaharaTU0 #automation #functional #higher-order #source code #termination #verification
Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
ESOP-2014-UrbanM #abstract domain #ranking
An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
ESOP-2014-BrainDKS #generative #proving #source code
Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
ESOP-2014-MatosGR #fault #named #using
REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.
ESOP-2014-Garnock-JonesTF #network
The Network as a Language Construct (TGJ, STH, MF), pp. 473–492.
ESOP-2014-BocchiMT #nondeterminism
Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
ESOP-2014-MangalNY #analysis #interprocedural
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
ESOP-2014-Fu #abstraction #analysis #memory management
Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
ESOP-2014-KothaACESB #bound #parallel #runtime
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.

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.