archives

EPrints submitted by Curtis Clifton


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 17 EPrints

Clifton, Curtis (2005) A design discipline and language features for modular reasoning in aspect-oriented programs. Technical Report 05-15, Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2005) MiniMAO1: Investigating the Semantics of Proceed. Technical Report 05-01b, Dept. of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2005) MiniMAO1: Investigating the Semantics of Proceed. Technical Report 05-01, Dept. of Computer Science, Iowa State University.

Clifton, Curtis, Millstein, Todd, Leavens, Gary T. and Chambers, Craig (2004) MultiJava: Design Rationale, Compiler Implementation, and Applications. Technical Report 04-01b, Dept. of Computer Science, Iowa State University.

Clifton, Curtis, Laemmel, Ralf and Leavens, Gary T. (2004) FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004. Technical Report 04-04, Dept. of Computer Science, Iowa State University.

Clifton, Curtis, Millstein, Todd, Leavens, Gary T. and Chambers, Craig (2004) MultiJava: Design Rationale, Compiler Implementation, and User Experience. Technical Report 04-01, Dept. of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2003) Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy. Technical Report 03-15, Dept. of Computer Science, Iowa State Unversity.

Clifton, Curtis, Leavens, Gary T. and Wand, Mitchell (2003) Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages. Technical Report 03-13, Dept. of Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T. and Wand, Mitchell (2003) Formal Definition of the Parameterized Aspect Calculus. Technical Report 03-12b, Dept. of Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T. and Wand, Mitchell (2003) Formal Definition of the Parameterized Aspect Calculus. Technical Report 03-12, Dept. of Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T. and Wand, Mitchell (2003) Formal Definition of the Parameterized Aspect Calculus. Technical Report 03-12, Dept. of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2003) Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy. Technical Report 03-01a, Dept. of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2003) Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy. Technical Report 03-01, Dept. of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2002) Spectators and Assistants: Enabling Modular Aspect-Oriented Reasoning. Technical Report 02-10, Department of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2002) Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning. Technical Report 02-04a, Department of Computer Science, Iowa State University.

Clifton, Curtis and Leavens, Gary T. (2002) Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning. Technical Report 02-04, Department of Computer Science, Iowa State University.

Clifton, Curtis (2001) MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch. Technical Report 01-10, Department of Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu