archives

Browse by Subject: PROGRAMMING TECHNIQUES (E)


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


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

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-09, Computer Science, Iowa State Univeristy.

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 (2003) FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003. Technical Report TR03-05, 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.

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

Sondag, Tyler and Rajan, Hridesh (2010) Phase-based Tuning for Better Utilized Multicores. Technical Report 08-14b, 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