archives

Browse by Subject: Coding Tools and Techniques


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


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