Volume 8, no. 4 (June 2009)
Workshop on Formal Techniques for Java-like Programs (FTfJP), and International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), ECOOP 2008
Editorial
Articles
- Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino, Securing Java with Local Policies, pp. 5-32, PDF, HTML, DOI.
- John Boyland, An Operational Semantics including ‘Volatile’ for Safe Concurrency, pp. 33-53, PDF, HTML, DOI.
- Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML, DOI.
- A. J. Summers, Sophia Drossopoulou, Peter Müller, Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods, pp. 85-125, PDF, HTML, DOI.