Robert Cartwright

Cited by

	All	Since 2018
Citations	3133	370
h-index	29	11
i10-index	51	14

160

120

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320 34 15 28 22 24 27 27 30 48 54 72 52 65 61 59 66 67 58 116 139 147 123 129 138 140 135 105 122 94 94 101 106 93 81 74 82 63 46 24

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityVerified email at felleisen.org
Walid TahaHalmstad UniversityVerified email at hh.se
Yingfu ZengPh.D student, Rice UniversityVerified email at rice.edu
Hans-J. BoehmGoogleVerified email at acm.org
Paul BraunerGoogleVerified email at google.com
Marcia K O'MalleyThomas Michael Panos Family Professor in Mechanical Engineering, Rice UniversityVerified email at rice.edu
Aaron D. AmesBren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, CaltechVerified email at cds.caltech.edu
Alexandre ChapoutotENSTA Paris - U2ISVerified email at ensta.fr
Roland PhilippsenRoboticsVerified email at hh.se
Charles ReisGoogleVerified email at google.com
Jun InoueAISTVerified email at aist.go.jp
Jawad MasoodAimen - Technology CenterVerified email at aimen.es
John McCarthyMIT, Stanford
Raktim BhattacharyaProfessor of Aerospace Engineering, Texas A&MVerified email at tamu.edu
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
David W ScottProfessor of Statistics, Rice UniversityVerified email at rice.edu

Robert Cartwright

Professor of Computer Science, Rice University

Verified email at rice.edu

Programming Languages Software Engineering Program Testing Language Design Program Semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Soft typing R Cartwright, M Fagan Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991	425	1991
DrJava: A lightweight pedagogic environment for Java E Allen, R Cartwright, B Stoler Proceedings of the 33rd SIGCSE technical symposium on Computer science …, 2002	250	2002
Compatible genericity with run-time types for the Java programming language R Cartwright, GL Steele Jr ACM SIGPLAN Notices 33 (10), 201-215, 1998	198	1998
The semantics of program dependence R Cartwright, M Felleisen ACM SIGPLAN Notices 24 (7), 13-27, 1989	164	1989
A practical soft type system for Scheme AK Wright, R Cartwright ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 87-152, 1997	136	1997
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	124	1986
Fully abstract semantics for observably sequential languages R Cartwright, PL Curien, M Felleisen Information and Computation 111 (2), 297-401, 1994	112	1994
A practical soft type system for Scheme AK Wright, R Cartwright ACM SIGPLAN Lisp Pointers 7 (3), 250-262, 1994	104	1994
Exact Real Arithmetic, formulating real numbers as functions R Cartwright, B Boehm Research Topics in Functional Programming. University of Texas at Austin …, 1990	96	1990
Observable sequentiality and full abstraction R Cartwright, M Felleisen Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992	95	1992
Extensible denotational language specifications R Cartwright, M Felleisen International Symposium on Theoretical Aspects of Computer Software, 244-272, 1994	94	1994
A first-class approach to genericity E Allen, J Bannet, R Cartwright Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented …, 2003	88	2003
Production programming in the classroom E Allen, R Cartwright, C Reis ACM Sigcse Bulletin 35 (1), 89-93, 2003	86	2003
Taming a professional IDE for the classroom C Reis, R Cartwright Proceedings of the 35th SIGCSE technical symposium on Computer science …, 2004	64	2004
The logic of aliasing R Cartwright, D Oppen Acta Informatica 15, 365-384, 1981	61	1981
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	55	2010
Encoding machine-specific optimization in generic byte code by using local variables as pseudo-registers RS Cartwright Jr US Patent 6,075,942, 2000	49	2000
Unrestricted procedure calls in Hoare's logic R Cartwright, D Oppen Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of …, 1978	46	1978
A constructive alternative to axiomatic data type definitions R Cartwright Proceedings of the 1980 ACM Conference on LISP and Functional Programming, 46-55, 1980	41	1980
User-Defined Data Types as an Aid to Verifying LISP Programs. R Cartwright ICALP, 228-256, 1976	41	1976

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors