| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar |
DrHJ: a lightweight pedagogic IDE for Habanero Java.  |
PPPJ  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Ricken, Robert Cartwright |
Test-first Java concurrency for the classroom. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
cs education, java, software engineering, tools, concurrent programming, unit testing, junit |
| 1 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
| 1 | Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek |
In Pursuit of Real Answers. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Smith, Robert Cartwright |
Java type inference is broken: can we fix it? |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types |
| 1 | James Sasitorn, Robert Cartwright |
Deriving components from genericity. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
Java implementation, custom class loader, first-class generics, components, signatures, modules |
| 1 | James Sasitorn, Robert Cartwright |
Component nextgen: a sound and expressive component framework for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
custom class loader, first-class generics, java implementation, components, signatures, modules |
| 1 | Eric E. Allen, Robert Cartwright |
Safe instantiation in Generic Java. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Sasitorn, Robert Cartwright |
Efficient first-class generics on stock Java virtual machines. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
Java implementation, custom class loader, first-class generics, type erasure, parametric polymorphism |
| 1 | James I. Hsia, Elspeth Simpson, Daniel Smith, Robert Cartwright |
Taming Java for the classroom. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
DrJava, language levels, object-oriented programming |
| 1 | Eric E. Allen, Robert Cartwright |
Safe instantiation in generic Java. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Reis, Robert Cartwright |
Taming a professional IDE for the classroom. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
DrJava, interactions pane, eclipse, plug-in |
| 1 | Charles Reis, Robert Cartwright |
A friendly face for Eclipse. |
OOPSLA Workshop on Eclipse Technology eXchange |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, Jonathan Bannet, Robert Cartwright |
A first-class approach to genericity. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, Robert Cartwright, Charles Reis |
Production programming in the classroom. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
DrJava, production programming, sourceforge, software engineering, open source, extreme programming, JUnit, ant |
| 1 | Eric E. Allen, Robert Cartwright |
The case for run-time types in generic Java. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Eric E. Allen, Robert Cartwright, Brian Stoler |
Efficient Implementation of Run-time Generic Types for Java. |
Generic Programming |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eric E. Allen, Robert Cartwright, Brian Stoler |
DrJava: a lightweight pedagogic environment for Java. |
SIGCSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen, Robert Cartwright |
Safety as a Metric. (PDF / PS) |
CSEE&T |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Guy L. Steele Jr. |
Compatible Genericity with Run-Time Types for the Java Programming Language. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Andrew K. Wright, Robert Cartwright |
A Practical Soft Type System for Scheme. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
soft typing, SCHEME, run-time checks |
| 1 | Jia-Huai You, Robert Cartwright, Ming Li |
Iterative Belief Revision in Extended Logic Programming. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Matthias Felleisen |
Program Verification Through Soft Typing. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen |
Fully Abstract Semantics for Observably Sequential Languages |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Matthias Felleisen |
Extensible Denotational Language Specifications. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Robert Cartwright |
Tractable Argumentation Semantics via Iterative Belief Revision. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andrew K. Wright, Robert Cartwright |
A Practical Soft Type System for Scheme. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Robert Cartwright (eds.) |
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993 |
PLDI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ramarao Kanneganti, Robert Cartwright |
What is a Universal Higher-Order Programming Language? |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Matthias Felleisen |
Observable Sequentiality and Full Abstraction. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen |
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Mike Fagan |
Soft Typing. |
PLDI |
1991 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Robert Cartwright, Mike Fagan |
Soft typing (with retrospective) |
Best of PLDI |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Matthias Felleisen |
The Semantics of Program Dependence. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Alan J. Demers |
The Topology of Program Termination |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Robert Cartwright |
Types as Intervals. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright |
Recursive Programs as Definitions in First Order Logic. |
SIAM J. Comput. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright |
Non-Standard Fixed Points in First Order Logic. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, James E. Donahue |
The Semantics of Lazy (and Industrious) Evaluation. |
Symposium on LISP and Functional Programming |
1982 |
DBLP BibTeX RDF |
|
| 1 | Robert Cartwright, Derek C. Oppen |
The Logic of Aliasing. |
Acta Inf. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright |
Toward a Logical Thoery of Program Data. |
Logic of Programs |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright |
Formal Program Testing. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Robert Hood, Philip Mathews |
Paths: An Abstract Alternative to Pointers. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright |
A Constructive Alternative to Axiomatic Data Type Definitions. |
LISP Conference |
1980 |
DBLP BibTeX RDF |
|
| 1 | Robert Cartwright, John McCarthy |
First Order Programming Logic. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, Derek C. Oppen |
Unrestricted Procedure Calls in Hoare's Logic. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright, John McCarthy |
Recursive programs as functions in a first order theory. |
Mathematical Studies of Information Processing |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Cartwright |
A Practical Formal Semantic Definition and Verification System for TYPED LISP |
|
1976 |
RDF |
|
| 1 | Robert Cartwright |
User-Defined Data Types as an Aid to Verifying LISP Programs. |
ICALP |
1976 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")