SPECIAL ISSUE:
Special Issue for the 19th European Symposium on Programming "ESOP 2010"
Paphos, Cyprus, 2010



Preface
A. D. Gordon, M. Hicks


CFA2: a Context-Free Approach to Control-Flow Analysis
Dimitrios Vardoulakis and Olin Shivers


Amortised Resource Analysis with Separation Logic
Robert Atkey


TRX: A Formally Verified Parser Interpreter
Adam Koprowski and Henri Binsztok


Logical Concurrency Control from Sequential Proofs
Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath and Kapil Vaswani


Attacker Control and Impact for Confidentiality and Integrity
Aslan Askarov and Andrew Myers


Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Assalé Adjé, Stéphane Gaubert and Eric Goubault


A Hoare logic for the coinductive trace-based big-step semantics of While
Keiko Nakata and Tarmo Uustalu



DOI: 10.2168/LMCS-ESOP:2010

Creative Commons