dblp.uni-trier.dewww.uni-trier.de

Robert Cartwright Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
45EEDaniel Smith, Robert Cartwright: Java type inference is broken: can we fix it? OOPSLA 2008: 505-524
2007
44EEJames Sasitorn, Robert Cartwright: Component nextgen: a sound and expressive component framework for java. OOPSLA 2007: 153-170
43EEJames Sasitorn, Robert Cartwright: Deriving components from genericity. SAC 2007: 1109-1116
2006
42EEJames Sasitorn, Robert Cartwright: Efficient first-class generics on stock Java virtual machines. SAC 2006: 1621-1628
41EEEric E. Allen, Robert Cartwright: Safe instantiation in Generic Java. Sci. Comput. Program. 59(1-2): 26-37 (2006)
2005
40EEJames I. Hsia, Elspeth Simpson, Daniel Smith, Robert Cartwright: Taming Java for the classroom. SIGCSE 2005: 327-331
2004
39EEEric E. Allen, Robert Cartwright: Safe instantiation in generic Java. PPPJ 2004: 61-66
38EECharles Reis, Robert Cartwright: Taming a professional IDE for the classroom. SIGCSE 2004: 156-160
2003
37EEEric E. Allen, Jonathan Bannet, Robert Cartwright: A first-class approach to genericity. OOPSLA 2003: 96-114
36EECharles Reis, Robert Cartwright: A friendly face for Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 25-29
35EEEric E. Allen, Robert Cartwright, Charles Reis: Production programming in the classroom. SIGCSE 2003: 89-93
2002
34 Eric E. Allen, Robert Cartwright, Brian Stoler: Efficient Implementation of Run-time Generic Types for Java. Generic Programming 2002: 207-236
33EEEric E. Allen, Robert Cartwright: The case for run-time types in generic Java. PPPJ/IRE 2002: 19-24
32EEEric E. Allen, Robert Cartwright, Brian Stoler: DrJava: a lightweight pedagogic environment for Java. SIGCSE 2002: 137-141
1999
31EEMatthias Felleisen, Robert Cartwright: Safety as a Metric. CSEE&T 1999: 129-131
1998
30EERobert Cartwright, Guy L. Steele Jr.: Compatible Genericity with Run-Time Types for the Java Programming Language. OOPSLA 1998: 201-215
1997
29EEAndrew K. Wright, Robert Cartwright: A Practical Soft Type System for Scheme. ACM Trans. Program. Lang. Syst. 19(1): 87-152 (1997)
1996
28 Robert Cartwright, Matthias Felleisen: Program Verification Through Soft Typing. ACM Comput. Surv. 28(2): 349-351 (1996)
27EEJia-Huai You, Robert Cartwright, Ming Li: Iterative Belief Revision in Extended Logic Programming. Theor. Comput. Sci. 170(1-2): 383-406 (1996)
1994
26EEAndrew K. Wright, Robert Cartwright: A Practical Soft Type System for Scheme. LISP and Functional Programming 1994: 250-262
25 Jia-Huai You, Robert Cartwright: Tractable Argumentation Semantics via Iterative Belief Revision. SLP 1994: 239-253
24 Robert Cartwright, Matthias Felleisen: Extensible Denotational Language Specifications. TACS 1994: 244-272
23 Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen: Fully Abstract Semantics for Observably Sequential Languages Inf. Comput. 111(2): 297-401 (1994)
1993
22EERamarao Kanneganti, Robert Cartwright: What is a Universal Higher-Order Programming Language? ICALP 1993: 682-695
1992
21 Robert Cartwright, Matthias Felleisen: Observable Sequentiality and Full Abstraction. POPL 1992: 328-342
20EERamarao Kanneganti, Robert Cartwright, Matthias Felleisen: SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). REX Workshop 1992: 318-347
1991
19EERobert Cartwright, Mike Fagan: Soft typing (with retrospective) Best of PLDI 1991: 412-428
18 Robert Cartwright, Mike Fagan: Soft Typing. PLDI 1991: 278-292
1989
17 Robert Cartwright, Matthias Felleisen: The Semantics of Program Dependence. PLDI 1989: 13-27
1988
16 Robert Cartwright, Alan J. Demers: The Topology of Program Termination LICS 1988: 296-308
1986
15 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
14 Robert Cartwright: Types as Intervals. POPL 1985: 22-36
1984
13 Robert Cartwright: Recursive Programs as Definitions in First Order Logic. SIAM J. Comput. 13(2): 374-408 (1984)
1983
12 Robert Cartwright: Non-Standard Fixed Points in First Order Logic. Logic of Programs 1983: 86-100
1982
11 Robert Cartwright, James E. Donahue: The Semantics of Lazy (and Industrious) Evaluation. Symposium on LISP and Functional Programming 1982: 253-
1981
10 Robert Cartwright: Toward a Logical Thoery of Program Data. Logic of Programs 1981: 37-51
9 Robert Cartwright: Formal Program Testing. POPL 1981: 125-132
8 Robert Cartwright, Robert Hood, Philip Mathews: Paths: An Abstract Alternative to Pointers. POPL 1981: 14-27
7 Robert Cartwright, Derek C. Oppen: The Logic of Aliasing. Acta Inf. 15: 365-384 (1981)
1980
6 Robert Cartwright: A Constructive Alternative to Axiomatic Data Type Definitions. LISP Conference 1980: 46-55
1979
5EERobert Cartwright, John L. McCarthy: First Order Programming Logic. POPL 1979: 68-80
1978
4 Robert Cartwright, John L. McCarthy: Recursive programs as functions in a first order theory. Mathematical Studies of Information Processing 1978: 576-629
3 Robert Cartwright, Derek C. Oppen: Unrestricted Procedure Calls in Hoare's Logic. POPL 1978: 131-140
1976
2 Robert Cartwright: A Practical Formal Semantic Definition and Verification System for TYPED LISP Garland Publishing, New York 1976
1 Robert Cartwright: User-Defined Data Types as an Aid to Verifying LISP Programs. ICALP 1976: 228-256

Coauthor Index

1Eric E. Allen [32] [33] [34] [35] [37] [39] [41]
2Jonathan Bannet [37]
3Hans-Juergen Boehm [15]
4Pierre-Louis Curien [23]
5Alan J. Demers [16]
6James E. Donahue [11]
7Mike Fagan [18] [19]
8Matthias Felleisen [17] [20] [21] [23] [24] [28] [31]
9Robert Hood [8]
10James I. Hsia [40]
11Ramarao Kanneganti [20] [22]
12Ming Li [27]
13Philip Mathews [8]
14John L. McCarthy [4] [5]
15Michael J. O'Donnell [15]
16Derek C. Oppen [3] [7]
17Charles Reis [35] [36] [38]
18Mark Riggle [15]
19James Sasitorn [42] [43] [44]
20Elspeth Simpson [40]
21Daniel Smith [40] [45]
22Guy L. Steele Jr. [30]
23Brian Stoler [32] [34]
24Andrew K. Wright [26] [29]
25Jia-Huai You [25] [27]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)