|
|
Conferences in DBLP
- Andrew M. Pitts
Techniques for Contextual Equivalence in Higher-Order, Typed Languages. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:1- [Conf]
- Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Communication-Centred Programming for Web Services. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:2-17 [Conf]
- Maria Grazia Buscemi, Ugo Montanari
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:18-32 [Conf]
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A Calculus for Orchestration of Web Services. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:33-47 [Conf]
- Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:48-63 [Conf]
- Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
Modal I/O Automata for Interface and Product Line Theories. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:64-79 [Conf]
- K. Rustan M. Leino, Wolfram Schulte
Using History Invariants to Verify Observers. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:80-94 [Conf]
- Frédéric Blanqui, Thérèse Hardin, Pierre Weis
On the Implementation of Construction Functions for Non-free Concrete Data Types. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:95-109 [Conf]
- Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
Anti-pattern Matching. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:110-124 [Conf]
- Gilles Barthe, David Pichardie, Tamara Rezk
A Certified Lightweight Non-interference Java Bytecode Verifier. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:125-140 [Conf]
- Heiko Mantel, Alexander Reinhard
Controlling the What and Where of Declassification in Language-Based Security. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:141-156 [Conf]
- Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Cost Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:157-172 [Conf]
- Xinyu Feng, Rodrigo Ferreira, Zhong Shao
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:173-188 [Conf]
- Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
Abstract Predicates and Mutable ADTs in Hoare Type Theory. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:189-204 [Conf]
- Guodong Li, Scott Owens, Konrad Slind
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:205-219 [Conf]
- Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
Modular Shape Analysis for Dynamically Encapsulated Programs. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:220-236 [Conf]
- Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
Static Analysis by Policy Iteration on Relational Domains. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:237-252 [Conf]
- Sumit Gulwani, Ashish Tiwari
Computing Procedure Summaries for Interprocedural Analysis. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:253-267 [Conf]
- Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
Small Witnesses for Abstract Interpretation-Based Proofs. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:268-283 [Conf]
- Helmut Seidl, Andrea Flexeder, Michael Petter
Interprocedurally Analysing Linear Inequality Relations. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:284-299 [Conf]
- Thomas Gawlitza, Helmut Seidl
Precise Fixpoint Computation Through Strategy Iteration. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:300-315 [Conf]
- Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
A Complete Guide to the Future. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:316-330 [Conf]
- Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
The Java Memory Model: Operationally, Denotationally, Axiomatically. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:331-346 [Conf]
- Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
Immutable Objects for a Java-Like Language. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:347-362 [Conf]
- Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
Scalar Outcomes Suffice for Finitary Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:363-378 [Conf]
- Ichiro Hasuo, Yoshinobu Kawabe
Probabilistic Anonymity Via Coalgebraic Simulations. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:379-394 [Conf]
- Adrian Francalanza, Matthew Hennessy
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:395-410 [Conf]
- Cristian Versari
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:411-425 [Conf]
- George Kuan, David MacQueen, Robert Bruce Findler
A Rewriting Semantics for Type Inference. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:426-440 [Conf]
- Derek Dreyer, Matthias Blume
Principal Type Schemes for Modular Programs. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:441-457 [Conf]
- Umut A. Acar, Matthias Blume, Jacob Donham
A Consistent Semantics of Self-adjusting Computation. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:458-474 [Conf]
- Robert Ennals, David Gay
Multi-language Synchronization. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:475-489 [Conf]
- Kohei Suenaga, Naoki Kobayashi
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:490-504 [Conf]
- Kenneth W. Knowles, Cormac Flanagan
Type Reconstruction for General Refinement Types. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:505-519 [Conf]
- Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
Dependent Types for Low-Level Programming. [Citation Graph (0, 0)][DBLP]
ESOP, 2007, pp:520-535 [Conf]
|
