archives

Browse by Subject: Programming Environments


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 8 entries

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

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., Cheon, Yoonsik and Cok, David R. (2005) Demonstration of JML Tools. Technical Report 05-13, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2005) Lessons from the JML Project. Technical Report 05-12, Computer Science, Iowa State University.

Leavens, Gary T. and Clifton, Curtis (2005) Lessons from the JML Project. Technical Report 05-12a, 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.

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.



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