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

• Marieke Huisman, Peter Müller, Guest Editorial, PDF, HTML, DOI.

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.