archives

Browse by Subject: Object-oriented Programming


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 62 entries

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.

Blaha, Stephen (2002) A Classical Probabilistic Computer Model of Consciousness.

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

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.

Dyer, Robert and Rajan, Hridesh (2006) Modular Compilation Strategies for Aspect-Oriented Constructs. Technical Report 06-30, Computer Science, Iowa State University.

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-type Declarations. Technical Report 09-23a, Computer Science, Iowa State University.

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-type Declarations. Technical Report 09-23b, Computer Science, Iowa State University.

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) Towards Efficient Virtual Machine Support for Flexible, Dynamic Deployment of Inter-type Declarations. Technical Report 09-23, 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.

Khanolkar, Neeraj and Leavens, Gary T. (2006) Executable Documentation of Template-Hook Interactions in Frameworks using JML. Technical Report 06-18, 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. (1999) Larch/C++ Reference Manual.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2003) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06w, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2002) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06q, Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06o, Computer Science, Iowa State University.

Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde and Cok, David R. (2004) How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. Technical Report 03-04a, Computer Science, Iowa State University.

Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde and Cok, David R. (2003) How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. Technical Report TR03-04, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2007) Multiple Concerns in Aspect-Oriented Language Design: A Language Engineering Approach to Balancing Benefits, with Examples. Technical Report TR #07-01a, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2007) Multiple Concerns in Aspect-Oriented Language Design: Balancing Benefits is the Essence of Language Engineering. Technical Report 07-01, 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 Naumann, David A. (2006) Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs. Technical Report 06-36, 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 06-20b, Computer Science, Iowa State University.

Levens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06p, Computer Science, Iowa State University.

Lokasari, Andre, Ming, Hua and Lumpe, Markus (2006) On the Integration of the Classbox Concept in the .NET Framework. Technical Report 06-15, Department of Computer Science, Iowa State University.

Long, Yuheng (2014) Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency. Technical Report 13-04a, 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.

Long, Yuheng (2012) Open Effects. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects: Optimistic Effects for Dynamic Dispatch. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects: Optimistic Effects for Dynamic Dispatch. Technical Report 12-02, 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 (2010) A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems. Technical Report 10-09, Computer Science, Iowa State University.

Long, Yuheng, Mooney, Sean and Rajan, Hridesh (2009) Panini: A Language with Asynchronous, Typed Events. Technical Report 09-28, 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.

Lumpe, Markus (2005) A Form-based Framework for Class Extensions. Technical Report 05-08, Department of Computer Science, Iowa State University.

Mehdi, Bagherzadeh, Hridesh, Rajan, Gary T., Leavens and Sean, Mooney (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-oriented Interfaces. Technical Report 10-02, Department of Computer Science, Iowa State University.

Mehdi, Bagherzadeh, Robert, Dyer, Rex D., Fernando, Hridesh, Rajan, Jose, Sanchez and Gary T., Leavens (2013) Modular Reasoning in the Presence of Event Subtyping. Technical Report 14-02, Department of Computer Science, Iowa State University.

Mehdi, Bagherzadeh, Robert, Dyer, Rex D., Fernando, Hridesh, Rajan, Jose, Sanchez and Gary T., Leavens (2013) Modular Reasoning in the Presence of Event Subtyping. Technical Report 14-02a, Department of Computer Science, Iowa State University.

Mueller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2002) Modular Specification of Frame Properties in JML. Technical Report 02-02a, Computer Science, Iowa State University.

Mueller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary (2002) Modular Specification of Frame Properties in JML. Technical Report 02-02, Computer Science, Iowa State University.

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2001) Modular Specification of Frame Properties in JML. Technical Report 01-03, Computer Science, Iowa State University.

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

Rajan, Hridesh (2007) Design Patterns in Eos. Technical Report, Department of Computer Science, Iowa State University.

Rajan, Hridesh (2007) Design Patterns in Eos. Technical Report, Department of Computer Science, Iowa State University.

Rajan, Hridesh, Dyer, Robert, Narayanappa, Harish and Hanna, Youssef (2006) Nu: Towards an Aspect-Oriented Invocation Mechanism. Technical Report, Dept. of Computer Sc., Iowa State University.

Rajan, Hridesh and Sullivan, Kevin (2005) Design Patterns: A Canonical Test of Unified Aspect Model. Technical Report, Department of Computer Science, Iowa State University.

Shaner, Steve M., Leavens, Gary T. and Naumann, David A. (2007) Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs. Technical Report TR 07-04, Computer Science, Iowa State University.

Shaner, Steve M., Leavens, Gary T. and Naumann, David A. (2007) Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs. Technical Report TR #07-04a, Computer Science, Iowa State University.



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