This directory gives access to the examples used for the small case study in the paper Curtis Clifton, Gary T. Leavens, and James Noble. Ownership and Effects for more Effective Reasoning about Aspects. This paper is to appear in ECOOP 2007: 21st European Conference on Object-Oriented Programming, Berlin, 2007. The original and authoritative version is available from Springer-Verlag at springerlink.com. (An earlier version was Department of Computer Science, Iowa State University, TR #06-35a, December 2006, revised April 2007. [Preprint PDF])
You can get the entire directory sturucture as a gzipped tar file by fetching http://www.cs.iastate.edu/~leavens/modular-aop/ajpg-153-examples.tar.gz.
These examples are adapted from files that accompany version 1.5.3 of the AspectJ Programmer's guide. They are Copyright (c) 1998-2002 Xerox Corporation, and copyright (c) 2004 Contributors. All rights reserved. They are used by permission. See the copyright notice in the individual files.
The original version of these examples is found in the examples directory of the AspectJ 1.5.3 release. While that release remains current, you can see a discussion about them at http://www.eclipse.org/aspectj/doc/released/progguide/examples.html.
As of April 21, 2007, these examples have not been mechanically checked, and we have no implementation for the MAO language proposal to check them. We hope to do that in the future.