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