دانلود کتاب Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

فهرست مطالب :

Front Matter....Pages -
Composable Transactional Objects: A Position Paper....Pages 1-7
Application-Scale Secure Multiparty Computation....Pages 8-26
An Array-Oriented Language with Static Rank Polymorphism....Pages 27-46
Gradual Typing for Annotated Type Systems....Pages 47-66
Staged Composition Synthesis....Pages 67-86
Overlapping and Order-Independent Patterns....Pages 87-106
Verified Compilation for Shared-Memory C....Pages 107-127
Verifying an Open Compiler Using Multi-language Semantics....Pages 128-148
Impredicative Concurrent Abstract Predicates....Pages 149-168
Local Reasoning for the POSIX File System....Pages 169-188
A Coq Formalization of the Relational Data Model....Pages 189-208
On Probabilistic Applicative Bisimulation and Call-by-Value λ -Calculi....Pages 209-228
Grounding Synchronous Deterministic Concurrency in Sequential Programming....Pages 229-248
The Duality of Construction....Pages 249-269
Deriving Pretty-Big-Step Semantics from Small-Step Semantics....Pages 270-289
Communicating State Transition Systems for Fine-Grained Concurrent Resources....Pages 290-310
Checking Linearizability of Encapsulated Extended Operations....Pages 311-330
Bounded Linear Types in a Resource Semiring....Pages 331-350
A Core Quantitative Coeffect Calculus....Pages 351-370
Measurements in Proof Nets as Higher-Order Quantum Circuits....Pages 371-391
Automatic Termination Verification for Higher-Order Functional Programs....Pages 392-411
An Abstract Domain to Infer Ordinal-Valued Ranking Functions....Pages 412-431
Model and Proof Generation for Heap-Manipulating Programs....Pages 432-452
REAP: Reporting Errors Using Alternative Paths....Pages 453-472
The Network as a Language Construct....Pages 473-492
Resolving Non-determinism in Choreographies....Pages 493-512
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join....Pages 513-533
Targeted Update – Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis....Pages 534-553
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries....Pages 554-574
Back Matter....Pages -