archives

Browse by Subject: Language Classifications


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 26 entries

Cheon, Yoonsik and Leavens, Gary T. (2002) A Runtime Assertion Checker for the Java Modeling Language (JML). Technical Report TR #02-05, Department of Computer Science, Iowa State University.

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 (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.

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

Clifton, Curtis and Leavens, Gary T. (2005) A Design Discipline and Language Features for Formal Modular Reasoning in Aspect-Oriented Programs. Technical Report 05-23, 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 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. (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. (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-15, Dept. of Computer Science, Iowa State Unversity.

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 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) Spectators and Assistants: Enabling Modular Aspect-Oriented Reasoning. Technical Report 02-10, Department 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, 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) 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, 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, 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.

Dhara, Krishna Kishore and Leavens, Gary T. (2001) Mutation, Aliasing, Viewpoints, Modular Reasoning, and Weak Behavioral Subtyping. Technical Report 01-02, Computer Science, Iowa State University.

Dhara, Krishna Kishore and Leavens, Gary T. (2001) Preventing Cross-Type Aliasing for More Practical Reasoning. Technical Report 01-02a, Computer Science, Iowa State University.

Leavens, Gary T. (2006) JML's Rich, Inherited Specifications for Behavioral Subtypes. Technical Report TR #06--22, Computer Science, Iowa State University.

Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff, Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. Technical Report 06-21, Computer Science, Iowa State University.

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report TR06-20a, Computer Science, Iowa State University.

Long, Yuheng (2013) Open Effects: Programmer-guided Effects for Open World Concurrent Programs. Technical Report 13-04, Computer Science, Iowa State University.

Patterson, Jeremiah S. (2002) An Object-Oriented Event Calculus. Technical Report TR02-08, Computer Science, Iowa State University.



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