Search the dblp DataBase
Curtis Clifton :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] FMCO, 2002, pp:262-284 [Conf ] Curtis Clifton , Gary T. Leavens , Craig Chambers , Todd D. Millstein MultiJava: modular open classes and symmetric multiple dispatch for Java. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2000, pp:130-145 [Conf ] Curtis Clifton , Lisa C. Kaczmarczyk , Michael Mrozek Subverting the fundamentals sequence: using version control to enhance course management. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2007, pp:86-90 [Conf ] Curtis Clifton , Gary T. Leavens MiniMAO: An imperative core language for studying aspect-oriented reasoning. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:63, n:3, pp:321-374 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:55, n:1-3, pp:185-208 [Journal ] Curtis Clifton , Todd D. Millstein , Gary T. Leavens , Craig Chambers MultiJava: Design rationale, compiler implementation, and applications. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:517-575 [Journal ] Curtis Clifton , Gary T. Leavens , James Noble MAO: Ownership and Effects for More Effective Reasoning About Aspects. [Citation Graph (0, 0)][DBLP ] ECOOP, 2007, pp:451-475 [Conf ] Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. [Citation Graph (, )][DBLP ] Lessons from the JML Project. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs