Searching for authors named "Curtis Clifton" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Lessons from the JML Project
- …Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised…
- Cited by 2 (0 self) – Add To MetaCart
-
MiniMAO1: An imperative core language for studying aspect-oriented reasoning
- …MINIMAO1: An Imperative Core Language for Studying Aspect-Oriented Reasoning Curtis Clifton…
- Cited by 8 (1 self) – Add To MetaCart
-
MiniMAO: Investigating the Semantics of Proceed
- …, Illinois USA Copyright c○ 2005, Curtis Clifton and Gary T. Leavens. Curtis Clifton and Gary T. Leavens Dept…
- Cited by 8 (2 self) – Add To MetaCart
-
Mao: Ownership and effects for more effective reasoning about aspects
- …MAO: Ownership and Effects for More Effective Reasoning About Aspects Curtis Clifton 1 ,Gary…
- Cited by 3 (0 self) – Add To MetaCart
-
Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning
- …Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning Curtis Clifton…
- Cited by 61 (10 self) – Add To MetaCart
-
MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java
- …MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java Curtis Clifton and Gary T…
- Cited by 135 (19 self) – Add To MetaCart
-
FOAL 9,003 Proceedings - Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003
- …. Leavens and Curtis Clifton (editors) TR #03-05 March 2003 Keywords: Aspect-oriented programming, modular…
- Cited by 1 (0 self) – Add To MetaCart
-
MultiJava: Modular symmetric multiple dispatch and extensible classes for Java
- …MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classesfor Java Curtis Clifton, Gary…
- Cited by 2 (0 self) – Add To MetaCart
-
Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages
- …-Oriented Languages Curtis Clifton Dept. of Computer Science Iowa State University 226 Atanasoff Hall Ames, IA 50011…
- Cited by 17 (3 self) – Add To MetaCart
-
Formal definition of the parameterized aspect calculus
- …Formal Definition of the Parameterized Aspect Calculus Curtis Clifton, Gary T. Leavens…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
