The SCEAS System
Navigation Menu

Search the dblp DataBase


Curtis Clifton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]

  8. Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. [Citation Graph (, )][DBLP]

  9. Lessons from the JML Project. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002