|
|
|
This subject category contains 26 entries
Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2005) SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems. Technical Report 05-19, Computer Science, Iowa State University.
Boysen, Kristina P. and Leavens, Gary T. (2008) Discussion of Design Alternatives for JML Java 5 Annotations. Technical Report 08-01, Computer Science, Iowa State University.
Cheon, Yoonsik (2003) A Runtime Assertion Checker for the Java Modeling Language. PhD thesis, Department of Computer Science, Iowa State University.
Cheon, Yoonsik and Gary T., Leavens (2003) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12c, Dept. 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.
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.
Dorn, Brian and Leavens, Gary T. (2007) A Framework for Implementing Type Systems. Technical Report TR#07-12, Computer Science, Iowa State University.
Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) A Quantitative Cost/Benefit Analysis for Dynamic Updating. Technical Report 09-27, Computer Science, Iowa State University.
Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001. Technical Report 01-09a, Computer Science, Iowa State University.
Leavens, Gary T. (2006) Following the Grammar. Technical Report 95-02, 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. (2005) Following the Grammar. Technical Report 05-02, Computer Science, Iowa State University.
Leavens, Gary T., Cheon, Yoonsik and Cok, David R. (2005) Demonstration of JML Tools. Technical Report 05-13, Computer Science, Iowa State University.
Leavens, Gary T., Clifton, Curtis and Dorn, Brian (2005) A Type Notation for Scheme. Technical Report 05-18, Computer Science, Iowa State University.
Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report TR06-20, 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.
Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Technical Report 06-20b, Computer Science, Iowa State University.
Long, Yuheng (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.
Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.
Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.
Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.
Ruby, Clyde Dwain (2006) Modular subclass verification: Safely creating correct subclasses without superclass code. Technical Report 06-34, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (2009) Phase-guided Auto-Tuning for Improved Utilization of Performance-Asymmetric Multicore Processors. Technical Report 08-14a, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (2009) Phase-guided Thread-to-core Assignment for Improved Utilization of Performance-Asymmetric Multi-Core Processors. Technical Report 08-14, Computer Science, Iowa State University.
Taylor, Kristina B. (2008) A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations. Masters thesis, Computer Science, Iowa State University.
Taylor, Kristina B., Rieken, Johannes and Leavens, Gary T. (2008) Adapting the Java Modeling Language for Java 5 Annotations. Technical Report 08-06, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
