Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Robert Cartwright
2010 – today
- 2012
[c43]Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron Ames, Alexandre Chapoutot: A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops 2012: 303-308- 2011
- [j8]Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron Ames, Alexandre Chapoutot: A core language for executable models of cyber physical systems: work in progress report. SIGBED Review 8(2): 39-43 (2011)
- [c42]Jarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar: DrHJ: a lightweight pedagogic IDE for Habanero Java. PPPJ 2011: 147-150
- 2010
- [c41]Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron Ames, Raktim Bhattacharya: Mathematical equations as executable models of mechanical systems. ICCPS 2010: 1-11
- [c40]Mathias Ricken, Robert Cartwright: Test-first Java concurrency for the classroom. SIGCSE 2010: 219-223
2000 – 2009
- 2009
- [c39]Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek: In Pursuit of Real Answers. ICESS 2009: 115-122
- [c38]Mathias Ricken, Robert Cartwright: ConcJUnit: unit testing for concurrent programs. PPPJ 2009: 129-132
- 2008
- [c37]
- 2007
- [c36]James Sasitorn, Robert Cartwright: Component nextgen: a sound and expressive component framework for java. OOPSLA 2007: 153-170
- [c35]
- 2006
- [j7]Eric E. Allen, Robert Cartwright: Safe instantiation in Generic Java. Sci. Comput. Program. 59(1-2): 26-37 (2006)
- [c34]James Sasitorn, Robert Cartwright: Efficient first-class generics on stock Java virtual machines. SAC 2006: 1621-1628
- 2005
- [c33]James I. Hsia, Elspeth Simpson, Daniel Smith, Robert Cartwright: Taming Java for the classroom. SIGCSE 2005: 327-331
- 2004
- [c32]
- [c31]
- 2003
- [c30]Charles Reis, Robert Cartwright: A friendly face for Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 25-29
- [c29]Eric E. Allen, Jonathan Bannet, Robert Cartwright: A first-class approach to genericity. OOPSLA 2003: 96-114
- [c28]Eric E. Allen, Robert Cartwright, Charles Reis: Production programming in the classroom. SIGCSE 2003: 89-93
- 2002
- [c27]Eric E. Allen, Robert Cartwright, Brian Stoler: Efficient Implementation of Run-time Generic Types for Java. Generic Programming 2002: 207-236
- [c26]
- [c25]Eric E. Allen, Robert Cartwright, Brian Stoler: DrJava: a lightweight pedagogic environment for Java. SIGCSE 2002: 137-141
1990 – 1999
- 1999
- [c24]
- 1998
- [c23]Robert Cartwright, Guy L. Steele Jr.: Compatible Genericity with Run-Time Types for the Java Programming Language. OOPSLA 1998: 201-215
- 1997
- [j6]Andrew K. Wright, Robert Cartwright: A Practical Soft Type System for Scheme. ACM Trans. Program. Lang. Syst. 19(1): 87-152 (1997)
- 1996
- [j5]Robert Cartwright, Matthias Felleisen: Program Verification Through Soft Typing. ACM Comput. Surv. 28(2): 349-351 (1996)
- [j4]Jia-Huai You, Robert Cartwright, Ming Li: Iterative Belief Revision in Extended Logic Programming. Theor. Comput. Sci. 170(1-2): 383-406 (1996)
- 1994
- [j3]Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen: Fully Abstract Semantics for Observably Sequential Languages. Inf. Comput. 111(2): 297-401 (1994)
- [c22]Andrew K. Wright, Robert Cartwright: A Practical Soft Type System for Scheme. LISP and Functional Programming 1994: 250-262
- [c21]Jia-Huai You, Robert Cartwright: Tractable Argumentation Semantics via Iterative Belief Revision. SLP 1994: 239-253
- [c20]Robert Cartwright, Matthias Felleisen: Extensible Denotational Language Specifications. TACS 1994: 244-272
- 1993
- [c19]Ramarao Kanneganti, Robert Cartwright: What is a Universal Higher-Order Programming Language? ICALP 1993: 682-695
- [e1]Robert Cartwright (Ed.): Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993. ACM 1993, ISBN 0-89791-598-4
- 1992
- [c18]Robert Cartwright, Matthias Felleisen: Observable Sequentiality and Full Abstraction. POPL 1992: 328-342
- [c17]Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen: SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). REX Workshop 1992: 318-347
- 1991
- [c16]
- [c15]
1980 – 1989
- 1989
- [c14]
- 1988
- [c13]
- 1986
- [c12]Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell: Exact Real Arithmetic: A Case Study in Higher Order Programming. LISP and Functional Programming 1986: 162-173
- 1985
- [c11]
- 1984
- [j2]Robert Cartwright: Recursive Programs as Definitions in First Order Logic. SIAM J. Comput. 13(2): 374-408 (1984)
- 1983
- [c10]
- 1982
- [c9]Robert Cartwright, James E. Donahue: The Semantics of Lazy (and Industrious) Evaluation. Symposium on LISP and Functional Programming 1982: 253-
- 1981
- [j1]
- [c8]
- [c7]Robert Cartwright, Robert Hood, Philip Mathews: Paths: An Abstract Alternative to Pointers. POPL 1981: 14-27
- [c6]
- 1980
- [c5]Robert Cartwright: A Constructive Alternative to Axiomatic Data Type Definitions. LISP Conference 1980: 46-55
1970 – 1979
- 1979
- [c4]
- 1978
- [c3]Robert Cartwright, John McCarthy: Recursive programs as functions in a first order theory. Mathematical Studies of Information Processing 1978: 576-629
- [c2]Robert Cartwright, Derek C. Oppen: Unrestricted Procedure Calls in Hoare's Logic. POPL 1978: 131-140
- 1976
- [b1]Robert Cartwright: A Practical Formal Semantic Definition and Verification System for TYPED LISP. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York 1976, ISBN 0-8240-4420-7
- [c1]Robert Cartwright: User-Defined Data Types as an Aid to Verifying LISP Programs. ICALP 1976: 228-256
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:46 CET by the dblp team