| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2005), pp. 519-538.
|
| |
Scientific Programming, Vol. 14, No. 2. (1 January 2006), pp. 111-139.
|
| |
|
| |
|
| |
In WSC '98: Proceedings of the 30th conference on Winter simulation (1998), pp. 141-150.
|
| |
In C5 '07: Proceedings of the Fifth International Conference on Creating, Connecting and Collaborating through Computing (2007), pp. 163-169.
|
| |
|
| |
ECOOP 2000 — Object-Oriented Programming (2000), pp. 337-361.
|
| |
Commun. ACM, Vol. 42, No. 1. (January 1999), pp. 31-37.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 3. (2006), pp. 517-575.
|
| |
|
| |
ECOOP 2008 – Object-Oriented Programming (2008), pp. 52-75.
|
| |
ECOOP 2006 – Object-Oriented Programming (2006), pp. 353-378.
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 373-398.
|
| |
Programming Languages and Systems (2006), pp. 325-341.
|
| |
In In International Workshop on Foundations and Developments of Object-Oriented Languages (2006)
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 2-27.
|
| |
In OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion (2007), pp. 951-952.
|
| |
Formal Methods for Components and Objects (2007), pp. 207-245.
|
| |
In In Symposium on Trustworthy Global Computing, LNCS (2005), pp. 299-318.
|
| |
ECOOP 2008 – Object-Oriented Programming (2008), pp. 412-437.
|
| |
In OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (2006), pp. 935-936.
|
| |
ECOOP 2008 – Object-Oriented Programming (2008), pp. 542-565.
|
| |
In In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA (2002), pp. 292-310.
|
| |
SIGPLAN Not., Vol. 42, No. 10. (2007), pp. 441-460.
|
| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (2007), pp. 301-320.
|
| |
ECOOP 2008 – Object-Oriented Programming (2008), pp. 76-103.
|
| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (2007), pp. 337-350.
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 54-78.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 25-30.
|
| |
SIGPLAN Not., Vol. 41, No. 10. (2006), pp. 345-362.
|
| |
In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2006), pp. 481-497.
|
| |
In QSIC '06: Proceedings of the Sixth International Conference on Quality Software (2006), pp. 403-409.
|
| |
in Fox and Getov, editors, Joint ACM-ISCOPE Conference on Java Grande, JGI’02 Proceedings, 2002 (2003), pp. 212-221.
|
| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 18-37.
|
| |
IEEE Trans. Softw. Eng., Vol. 30, No. 2. (February 2004), pp. 126-139.
|
| |
Computer, Vol. 25, No. 10. (October 1992), pp. 40-51.
|
| |
In Information and Computation, Vol. 76 (1988), pp. 51-67.
|
| |
International Journal of Applied Earth Observation and Geoinformation, Vol. 11, No. 2. (April 2009), pp. 130-141.
|
| |
Water Resources Management, Vol. 11, No. 4. (1997), pp. 243-261.
|
| |
Applied Geography (08 October 2008)
|
| |
|
| |
ECOOP 2006 – Object-Oriented Programming (2006), pp. 328-352.
|
| |
In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 103-116.
|
| |
KSCE Journal of Civil Engineering, Vol. 12, No. 4. (1 July 2008), pp. 275-280.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135.
|
| |
|
| |
Journal of Systems and Software, Vol. 72, No. 2. (July 2004), pp. 129-143.
|
| |
IEEE Trans. Softw. Eng., Vol. 20, No. 6. (June 1994), pp. 476-493.
|