|
|
|
This subject category contains 22 entries
Assaad, Medhat (2001) Alias-free parameters in C using multibodies. Technical Report 01-05, 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, 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.
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.
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 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.
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.
Sondag, Tyler and Rajan, Hridesh (2010) An Abstract Domain for Multi-level Caches. Technical Report 09-20b, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (2009) A Theory of Reads and Writes for Multi-level Caches. Technical Report 09-20a, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (9) A Theory of Reads and Writes for Multi-level Caches. Technical Report 09-20, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
