archives

Browse by Subject: Studies of Program Constructs (D.3.2-3)


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 15 entries

Assaad, Medhat G. and Leavens, Gary T. (2001) Alias-free Parameters in C for Better Reasoning and Optimization. Technical Report 01-11, Computer Science, Iowa State University.

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra and Leavens, Gary T. (2003) SAVCBS 2003: Specification and Verification of Component-Based Systems. Technical Report 03-11, Computer Science, Iowa State University.

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.

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2004) SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings. Technical Report 04-09, 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.

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.

Hussain, Faraz (2009) Enhancing a behavioral interface specification language with temporal logic features. Masters thesis, Computer Science, Iowa State University.

Kulczycki, Gregory K., Sitaraman, Murali, Ogden, William F. and Leavens, Gary T. (2003) Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction. Technical Report TR02-13a, Computer Science, Iowa State University.

Kulczycki, Gregory W., Sitaraman, Murali, Ogden, William F., Weide, Bruce W. and Leavens, Gary T. (2002) Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction. Technical Report 02-13, 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 Clifton, Curtis (2003) FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003. Technical Report TR03-05, Computer Science, Iowa State University.

Leavens, Gary T. and Cytron, Ron (2002) FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002. Technical Report 02-06, Computer Science, Iowa State University.

Leavens, Gary T. and Müller, Peter (2006) Information Hiding and Visibility in Interface Specifications. Technical Report 06-28, Computer Science, Iowa State University.

Leavens, Gary T. and Naumann, David A. (2006) Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs. Technical Report 06-36, 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.



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