Searching for authors named Robert Cartwright – sorted by Relevance.
-
The Soundness of Component NextGen
- The Soundness of Component NextGen James Sasitorn Robert Cartwright camus@(email omitted); cork
- Add To MetaCart
-
Synchronization During Java VM Initialization and Termination
- Synchronization During Java VM Initialization and Termination Mathias Ricken and Robert Cartwright
- Add To MetaCart
-
What is a Universal Higher-Order Programming Language?
- What is a Universal Higher-Order Programming Language? Ramarao Kanneganti and Robert Cartwright
- Cited by 4 (2 self) – Add To MetaCart
-
Program Verification through Soft Typing
- Program Verification through Soft Typing Robert Cartwright & Matthias Felleisen Department
- Cited by 1 (0 self) – Add To MetaCart
-
Extensible Denotational Language Specifications
- Extensible Denotational Language Specifications Robert Cartwright, Matthias Felleisen Department
- Cited by 28 (4 self) – Add To MetaCart
-
Observable Sequentiality and Full Abstraction
- Observable Sequentiality and Full Abstraction Robert Cartwright Matthias Felleisen Department
- Cited by 34 (5 self) – Add To MetaCart
-
The Semantics of Program Dependence
- The Semantics of Program Dependence Robert Cartwright, Matthias Felleisen Department
- Cited by 57 (0 self) – Add To MetaCart
-
Soft Typing
- Soft Typing Robert Cartwright and Mike Fagan Department of Computer Science Rice University Houston
- Cited by 148 (2 self) – Add To MetaCart
-
Production Programming in the Classroom
- if not impossible to reproduce in the classroom [10]. Production programming involves creating or modifying Robert
- Cited by 5 (0 self) – Add To MetaCart
-
Behavioral Software Contracts
- Felleisen Professor of Computer Science Robert “Corky” Cartwright Professor of Computer Science Keith D
- Cited by 5 (0 self) – Add To MetaCart

