default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23. ESOP 2014: Grenoble, France (Part of ETAPS 2014)
- Zhong Shao
:
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. Lecture Notes in Computer Science 8410, Springer 2014, ISBN 978-3-642-54832-1
Invited Talks
- Maurice Herlihy, Eric Koskinen:
Composable Transactional Objects: A Position Paper. 1-7 - John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens:
Application-Scale Secure Multiparty Computation. 8-26
Type Systems
- Justin Slepak, Olin Shivers, Panagiotis Manolios:
An Array-Oriented Language with Static Rank Polymorphism. 27-46 - Peter Thiemann, Luminous Fennell:
Gradual Typing for Annotated Type Systems. 47-66 - Boris Düdder, Moritz Martens, Jakob Rehof:
Staged Composition Synthesis. 67-86 - Jesper Cockx, Frank Piessens, Dominique Devriese:
Overlapping and Order-Independent Patterns - Definitional Equality for All. 87-106
Verified Compilation
- Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel:
Verified Compilation for Shared-Memory C. 107-127 - James T. Perconti, Amal Ahmed:
Verifying an Open Compiler Using Multi-language Semantics. 128-148
Program Verification I
- Kasper Svendsen, Lars Birkedal:
Impredicative Concurrent Abstract Predicates. 149-168 - Philippa Gardner, Gian Ntzik, Adam Wright:
Local Reasoning for the POSIX File System. 169-188 - Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava:
A Coq Formalization of the Relational Data Model. 189-208
Semantics
- Raphaëlle Crubillé, Ugo Dal Lago:
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. 209-228 - Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann:
Grounding Synchronous Deterministic Concurrency in Sequential Programming. 229-248 - Paul Downen, Zena M. Ariola:
The Duality of Construction. 249-269 - Casper Bach Poulsen, Peter D. Mosses:
Deriving Pretty-Big-Step Semantics from Small-Step Semantics. 270-289
Concurrency
- Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco:
Communicating State Transition Systems for Fine-Grained Concurrent Resources. 290-310 - Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv:
Checking Linearizability of Encapsulated Extended Operations. 311-330
Linear Types
- Dan R. Ghica, Alex I. Smith:
Bounded Linear Types in a Resource Semiring. 331-350 - Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic:
A Core Quantitative Coeffect Calculus. 351-370 - Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago:
Measurements in Proof Nets as Higher-Order Quantum Circuits. 371-391
Program Verification II
- Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi:
Automatic Termination Verification for Higher-Order Functional Programs. 392-411 - Caterina Urban, Antoine Miné:
An Abstract Domain to Infer Ordinal-Valued Ranking Functions. 412-431 - Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel:
Model and Proof Generation for Heap-Manipulating Programs. 432-452 - João Matos, João Garcia, Paolo Romano:
REAP: Reporting Errors Using Alternative Paths. 453-472
Network and Process Calculi
- Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen:
The Network as a Language Construct. 473-492 - Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto:
Resolving Non-determinism in Choreographies. 493-512
Program Analysis
- Ravi Mangal, Mayur Naik, Hongseok Yang:
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. 513-533 - Zhoulai Fu:
Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis. 534-553 - Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Rajeev Barua:
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. 554-574
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-11 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
