Sledovať
Robert Cartwright
Robert Cartwright
Professor of Computer Science, Rice University
Overená e-mailová adresa na: rice.edu
Názov
Citované v
Citované v
Rok
Soft typing
R Cartwright, M Fagan
Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991
4311991
DrJava: A lightweight pedagogic environment for Java
E Allen, R Cartwright, B Stoler
Proceedings of the 33rd SIGCSE technical symposium on Computer science …, 2002
2662002
Compatible genericity with run-time types for the Java programming language
R Cartwright, GL Steele Jr
ACM SIGPLAN Notices 33 (10), 201-215, 1998
1961998
The semantics of program dependence
R Cartwright, M Felleisen
ACM SIGPLAN Notices 24 (7), 13-27, 1989
1671989
A practical soft type system for Scheme
AK Wright, R Cartwright
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 87-152, 1997
1391997
Exact real arithmetic: A case study in higher order programming
HJ Boehm, R Cartwright, M Riggle, MJ O'Donnell
Proceedings of the 1986 ACM conference on LISP and functional programming …, 1986
1291986
Fully abstract semantics for observably sequential languages
R Cartwright, PL Curien, M Felleisen
Information and Computation 111 (2), 297-401, 1994
1161994
A practical soft type system for Scheme
AK Wright, R Cartwright
ACM SIGPLAN Lisp Pointers 7 (3), 250-262, 1994
1061994
Observable sequentiality and full abstraction
R Cartwright, M Felleisen
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
971992
Extensible denotational language specifications
R Cartwright, M Felleisen
International Symposium on Theoretical Aspects of Computer Software, 244-272, 1994
961994
Exact Real Arithmetic, formulating real numbers as functions
R Cartwright, B Boehm
Research Topics in Functional Programming. University of Texas at Austin …, 1990
941990
A first-class approach to genericity
E Allen, J Bannet, R Cartwright
Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented …, 2003
872003
Production programming in the classroom
E Allen, R Cartwright, C Reis
ACM Sigcse Bulletin 35 (1), 89-93, 2003
862003
Taming a professional IDE for the classroom
C Reis, R Cartwright
Proceedings of the 35th SIGCSE technical symposium on Computer science …, 2004
692004
The logic of aliasing
R Cartwright, D Oppen
Acta Informatica 15, 365-384, 1981
671981
Mathematical equations as executable models of mechanical systems
Y Zhu, E Westbrook, J Inoue, A Chapoutot, C Salama, M Peralta, T Martin, ...
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010
562010
Encoding machine-specific optimization in generic byte code by using local variables as pseudo-registers
RS Cartwright Jr
US Patent 6,075,942, 2000
502000
Unrestricted procedure calls in Hoare's logic
R Cartwright, D Oppen
Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of …, 1978
471978
User-Defined Data Types as an Aid to Verifying LISP Programs.
R Cartwright
ICALP, 228-256, 1976
431976
Java type inference is broken: can we fix it?
D Smith, R Cartwright
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008
412008
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20