Programming Languages and Systems

Modal I/O Automata for Interface and Product Line Theories

Larsen, Kim G. (et al.)

Pages 64-79

Using History Invariants to Verify Observers

Leino, K. Rustan M. (et al.)

Pages 80-94

On the Implementation of Construction Functions for Non-free Concrete Data Types

Blanqui, Frédéric (et al.)

Pages 95-109

Anti-pattern Matching

Kirchner, Claude (et al.)

Pages 110-124

A Certified Lightweight Non-interference Java Bytecode Verifier

Barthe, Gilles (et al.)

Pages 125-140

Controlling the What and Where of Declassification in Language-Based Security

Mantel, Heiko (et al.)

Pages 141-156

Cost Analysis of Java Bytecode

Albert, E. (et al.)

Pages 157-172

On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning

Feng, Xinyu (et al.)

Pages 173-188

Abstract Predicates and Mutable ADTs in Hoare Type Theory

Nanevski, Aleksandar (et al.)

Pages 189-204

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic

Li, Guodong (et al.)

Pages 205-219

Modular Shape Analysis for Dynamically Encapsulated Programs

Rinetzky, N. (et al.)

Pages 220-236

Static Analysis by Policy Iteration on Relational Domains

Gaubert, Stephane (et al.)

Pages 237-252

Computing Procedure Summaries for Interprocedural Analysis

Gulwani, Sumit (et al.)

Pages 253-267

Small Witnesses for Abstract Interpretation-Based Proofs

Besson, Frédéric (et al.)

Pages 268-283

Interprocedurally Analysing Linear Inequality Relations

Seidl, Helmut (et al.)

Pages 284-299

Precise Fixpoint Computation Through Strategy Iteration

Gawlitza, Thomas (et al.)

Pages 300-315

A Complete Guide to the Future

Boer, Frank S. (et al.)

Pages 316-330

The Java Memory Model: Operationally, Denotationally, Axiomatically

Cenciarelli, Pietro (et al.)

Pages 331-346

Immutable Objects for a Java-Like Language

Haack, C. (et al.)

Pages 347-362

Scalar Outcomes Suffice for Finitary Probabilistic Testing

Deng, Yuxin (et al.)

Pages 363-378

Probabilistic Anonymity Via Coalgebraic Simulations

Hasuo, Ichiro (et al.)

Pages 379-394

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

Francalanza, Adrian (et al.)

Pages 395-410

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

Versari, Cristian

Pages 411-425

A Rewriting Semantics for Type Inference

Kuan, George (et al.)

Pages 426-440

Principal Type Schemes for Modular Programs

Dreyer, Derek (et al.)

Pages 441-457

A Consistent Semantics of Self-adjusting Computation

Acar, Umut A. (et al.)

Pages 458-474

Multi-language Synchronization

Ennals, Robert (et al.)

Pages 475-489

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts

Suenaga, Kohei (et al.)

Pages 490-504

Type Reconstruction for General Refinement Types

Knowles, Kenneth (et al.)

Pages 505-519

Dependent Types for Low-Level Programming

Condit, Jeremy (et al.)

Pages 520-535