Items related to Programming Languages and Systems: 23rd European Symposium...
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and ... France, April 5-13, 2014, Proceedings - Softcover
Synopsis
Composable Transactional Objects: A Position Paper.- Application-Scale Secure Multiparty Computation.- An Array-Oriented Language with Static Rank Polymorphism.- Gradual Typing for Annotated Type Systems.- Staged Composition Synthesis.- Overlapping and Order-Independent Patterns: Definitional Equality for All.- Verified Compilation for Shared-Memory C.- Verifying an Open Compiler Using Multi-language Semantics.- Impredicative Concurrent Abstract Predicates.- Local Reasoning for the POSIX File System.- A Coq Formalization of the Relational Data Model.- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi.- Grounding Synchronous Deterministic Concurrency in Sequential Programming.- The Duality of Construction.- Deriving Pretty-Big-Step Semantics from Small-Step Semantics.- Communicating State Transition Systems for Fine-Grained Concurrent Resources.- Checking Linearizability of Encapsulated Extended Operations.- Bounded Linear Types in a Resource Semiring.- A Core Quantitative Coeffect Calculus.- Measurements in Proof Nets as Higher-Order Quantum Circuits.- Automatic Termination Verification for Higher-Order Functional Programs.- An Abstract Domain to Infer Ordinal-Valued Ranking Functions.- Model and Proof Generation for Heap-Manipulating Programs.- REAP: Reporting Errors Using Alternative Paths.- The Network as a Language Construct.- Resolving Non-determinism in Choreographies.- A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.- Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis.- Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2014
- ISBN 10 3642548342
- ISBN 13 9783642548345
- BindingPaperback
- LanguageEnglish
- Number of pages592
- EditorShao Zhong
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
