Robert Cartwright

Cited by

	All	Since 2018
Citations	3103	357
h-index	29	11
i10-index	52	14

180

135

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 28 17 26 18 24 27 27 27 45 60 69 52 66 56 55 58 68 59 121 138 166 123 128 139 137 134 107 122 94 93 103 106 95 80 75 80 62 47 13

Public access

View all

3 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	420	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	252	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	193	1998
The semantics of program dependence R Cartwright, M Felleisen ACM SIGPLAN Notices 24 (7), 13-27, 1989	167	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	134	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	126	1986
Fully abstract semantics for observably sequential languages R Cartwright, PL Curien, M Felleisen Information and Computation 111 (2), 297-401, 1994	113	1994
A practical soft type system for Scheme AK Wright, R Cartwright ACM SIGPLAN Lisp Pointers 7 (3), 250-262, 1994	103	1994
Observable sequentiality and full abstraction R Cartwright, M Felleisen Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992	95	1992
Exact Real Arithmetic, formulating real numbers as functions R Cartwright, B Boehm Research Topics in Functional Programming. University of Texas at Austin …, 1990	95	1990
Extensible denotational language specifications R Cartwright, M Felleisen Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994	89	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 Cornell University, 1978	59	1978
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	53	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	48	2000
Unrestricted procedure calls in Hoare's logic R Cartwright, D Oppen Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of …, 1978	44	1978
Taming Java for the classroom JI Hsia, E Simpson, D Smith, R Cartwright Proceedings of the 36th SIGCSE technical symposium on Computer science …, 2005	39	2005
The semantics of lazy (and industrious) evaluation R Cartwright, J Donahue Proceedings of the 1982 ACM Symposium on LISP and Functional Programming …, 1982	39	1982

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