16. ESOP 2007:
Braga,
Portugal (Part of ETAPS 2007)
Rocco De Nicola (Ed.):
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings.
Lecture Notes in Computer Science 4421 Springer 2007, ISBN 978-3-540-71314-2
Invited Talk
- Andrew M. Pitts:
Techniques for Contextual Equivalence in Higher-Order, Typed Languages.
1
Models and Languages for Web Services
Verification
Term Rewriting
Language Based Security
Logics and Correctness Proofs
Static Analysis and Abstract Interpretation I
- Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav:
Modular Shape Analysis for Dynamically Encapsulated Programs.
220-236
- Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains.
237-252
- Sumit Gulwani, Ashish Tiwari:
Computing Procedure Summaries for Interprocedural Analysis.
253-267
- Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin:
Small Witnesses for Abstract Interpretation-Based Proofs.
268-283
Static Analysis and Abstract Interpretation II
Semantic Theories for Object Oriented Languages
Process Algebraic Techniques
Applicative Programming
Types for Systems Properties
Last update Fri May 25 05:58:29 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page