archives

Browse by Subject: Language Constructs and Features (E.2)


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 89 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.

Assaad, Medhat (2001) Alias-free parameters in C using multibodies. Technical Report 01-05, Computer Science, Iowa State University.

Bagherzadeh, Mehdi, Rajan, Hridesh and Darvish, Ali (2013) On Exceptions, Events and Observer Chains. Technical Report 12-12, Department of Computer Science, Iowa State University.

Bagherzadeh, Mehdi, Robert , Dyer, Yuheng, Long and Hridesh, Rajan (2008) Instance-level Quantified, Typed Events for Integrated System Design. Technical Report 08-15, 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 (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, Laemmel, Ralf and Leavens, Gary T. (2004) FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004. Technical Report 04-04, Dept. 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. (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. (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 Noble, James (2007) MAO: Ownership and Effects for more Effective Reasoning about Aspects. Technical Report 06-35a, Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T. and Noble, James (2006) Ownership and Effects for more Effective Reasoning about Aspects. Technical Report 06-35, 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.

Dorn, Brian (2005) Design and implementation of a reusable type inference engine and its application to Scheme. Technical Report 05-16, Department of 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.

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

Dyer, Robert and Rajan, Hridesh (2006) Modular Program Transformations for Aspect-Oriented Constructs. Technical Report, Computer Science, Iowa State University.

Dyer, Robert, Setty, Rakesh and Rajan, Hridesh (2007) Nu: Towards a Flexible and Dynamic Aspect-Oriented Intermediate Language Model. Technical Report 07-06, 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.

Hanna, Youssef and Rajan, Hridesh (2007) Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms. Technical Report 07-11, Computer Science, Iowa State University.

Hanna, Youssef and Rajan, Hridesh (2007) SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations. Technical Report 07-09, Computer Science, Iowa State University.

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols. Technical Report 06-31, Computer Science, Iowa State University.

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) SLEDE: Event-Based Specification of Sensor Network Protocols. Technical Report, 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. (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., 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 (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: A Language Engineering Approach to Balancing Benefits, with Examples. Technical Report 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 (2005) A Type Notation for Scheme. Technical Report 05-03, 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, Specification Inheritance, and Modular Reasoning. Technical Report TR06-20a, Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (2002) Equational Reasoning with Subtypes. Technical Report TR02-07, 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 (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) 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.

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.

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 (2005) Nu: Enabling Modularity in Multilingual, Multienvironment, Distributed Systems. Technical Report, Computer Science, Iowa State University.

Rajan, Hridesh, Dyer, Robert, Hanna, Youssef and Narayanappa, Harish (2006) Preserving Separation of Concerns Through Compilation. Technical Report, 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 Leavens, Gary (2008) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14d, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14b, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14c, Computer Science, Iowa State University.

Rajan, Hridesh and Sullivan, Kevin (2005) Classpects in Practice: A Test of the Unified Aspect Model. Technical Report, Department of Computer Science, 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.

Ruby, Clyde Dwain (2006) Modular subclass verification: Safely creating correct subclasses without superclass code. Technical Report 06-34, Computer Science, Iowa State University.

Setty, Rakesh, Dyer, Robert and Rajan, Hridesh (2008) Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models. Technical Report 08-02, 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.

Shaner, Steve (2009) Modular verification of higher-order methods with mandatory calls specified by model programs. Technical Report 09-16, Computer Science, Iowa State University.

Shaner, Steve (2009) Modular verification of higher-order methods with mandatory calls specified by model programs. Technical Report 09-16, Computer Science, Iowa State University.

Sondag, Tyler, Pokorny, Kian L. and Rajan, Hridesh (2010) Frances-A: A Tool For Easy Realistic Architecture Level Program Visualization. Technical Report 10-08, Computer Science, Iowa State University.

Sondag, Tyler, Pokorny, Kian and Rajan, Hridesh (2011) Frances: A Tool For Understanding Computer Architecture and Assembly Language. Technical Report 10-08b, Computer Science, Iowa State University.

Sondag, Tyler, Pokorny, Kian and Rajan, Hridesh (2009) Frances: A Tool For Understanding Code Generation. Technical Report 09-21, Computer Science, Iowa State University.

Viswanath , Krishnamurthy, Tyler, Sondag and Hridesh, Rajan (2007) Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor. Technical Report 07-10, Computer Science, Iowa State University.



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