| 2007 |
|---|
| 8 | EE | Curtis Clifton,
Gary T. Leavens,
James Noble:
MAO: Ownership and Effects for More Effective Reasoning About Aspects.
ECOOP 2007: 451-475 |
| 7 | EE | Curtis Clifton,
Lisa C. Kaczmarczyk,
Michael Mrozek:
Subverting the fundamentals sequence: using version control to enhance course management.
SIGCSE 2007: 86-90 |
| 6 | EE | Gary T. Leavens,
Curtis Clifton:
Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples.
SPLAT 2007: 6 |
| 2006 |
|---|
| 5 | EE | Curtis Clifton,
Todd D. Millstein,
Gary T. Leavens,
Craig Chambers:
MultiJava: Design rationale, compiler implementation, and applications.
ACM Trans. Program. Lang. Syst. 28(3): 517-575 (2006) |
| 4 | EE | Curtis Clifton,
Gary T. Leavens:
MiniMAO: An imperative core language for studying aspect-oriented reasoning.
Sci. Comput. Program. 63(3): 321-374 (2006) |
| 2005 |
|---|
| 3 | EE | Gary T. Leavens,
Yoonsik Cheon,
Curtis Clifton,
Clyde Ruby,
David R. Cok:
How the design of JML accommodates both runtime assertion checking and formal verification.
Sci. Comput. Program. 55(1-3): 185-208 (2005) |
| 2002 |
|---|
| 2 | EE | Gary T. Leavens,
Yoonsik Cheon,
Curtis Clifton,
Clyde Ruby,
David R. Cok:
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.
FMCO 2002: 262-284 |
| 2000 |
|---|
| 1 | EE | Curtis Clifton,
Gary T. Leavens,
Craig Chambers,
Todd D. Millstein:
MultiJava: modular open classes and symmetric multiple dispatch for Java.
OOPSLA 2000: 130-145 |
