Curtis Clifton

According to our database, Curtis Clifton authored at least 10 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Strategies for preparing computer science students for the multicore world.

Richard A. Brown, Elizabeth Shoop, Joel C. Adams, Curtis Clifton, Mark K. Gardner, Michael Haupt, Peter Hinsbeeck

Proceedings of the 2010 ITiCSE working group reports, 2010

2007

Subverting the fundamentals sequence: using version control to enhance course management.

Curtis Clifton, Lisa C. Kaczmarczyk, Michael Mrozek

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

MAO: Ownership and Effects for More Effective Reasoning About Aspects.

Curtis Clifton, Gary T. Leavens, James Noble

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples.

Gary T. Leavens, Curtis Clifton

Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, 2007

2006

MultiJava: Design rationale, compiler implementation, and applications.

Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers

ACM Trans. Program. Lang. Syst., 2006

MiniMAO: An imperative core language for studying aspect-oriented reasoning.

Curtis Clifton, Gary T. Leavens

Sci. Comput. Program., 2006

2005

How the design of JML accommodates both runtime assertion checking and formal verification.

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Sci. Comput. Program., 2005

Lessons from the JML Project.

Gary T. Leavens, Curtis Clifton

Proceedings of the Verified Software: Theories, 2005

2002

How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Proceedings of the Formal Methods for Components and Objects, 2002

2000

MultiJava: modular open classes and symmetric multiple dispatch for Java.

Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000