BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Korea
1 × Sweden
12 × USA
2 × United Kingdom
3 × Canada
Collaborated with:
J.Sasitorn M.Felleisen M.Fagan D.Smith G.L.S.Jr. J.You A.K.Wright R.Kanneganti A.J.Demers J.E.Donahue J.McCarthy D.C.Oppen E.E.Allen J.Bannet R.Hood P.Mathews H.Boehm M.Riggle M.J.O'Donnell
Talks about:
program (8) type (8) generic (4) java (4) semant (3) compon (3) order (3) first (3) soft (3) abstract (2)

Person: Robert Cartwright

DBLP DBLP: Cartwright:Robert

Facilitated 1 volumes:

PLDI 1993Ed

Contributed to:

OOPSLA 20082008
OOPSLA 20072007
SAC 20072007
SAC 20062006
OOPSLA 20032003
CSEE&T 19991999
OOPSLA 19981998
ILPS 19941994
LFP 19941994
ICALP 19931993
POPL 19921992
Best of PLDI 20041991
PLDI 19911991
PLDI 19891989
LICS 19881988
LFP 19861986
POPL 19851985
LFP 19821982
POPL 19811981
LISP 19801980
POPL 19791979
POPL 19781978
ICALP 19761976

Wrote 24 papers:

OOPSLA-2008-SmithC #java #question #type inference
Java type inference is broken: can we fix it? (DS, RC), pp. 505–524.
OOPSLA-2007-SasitornC #component #framework #java
Component nextgen: a sound and expressive component framework for java (JS, RC), pp. 153–170.
SAC-2007-SasitornC #component
Deriving components from genericity (JS, RC), pp. 1109–1116.
SAC-2006-SasitornC #java #performance #virtual machine
Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
OOPSLA-2003-AllenBC #approach
A first-class approach to genericity (EEA, JB, RC), pp. 96–114.
CSEET-1999-FelleisenC #metric #safety
Safety as a Metric (MF, RC), pp. 129–131.
OOPSLA-1998-CartwrightS #java #programming language #runtime
Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
ILPS-1994-YouC #semantics
Tractable Argumentation Semantics via Iterative Belief Revision (JHY, RC), pp. 239–253.
LFP-1994-WrightC #type system
A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.
ICALP-1993-KannegantiC #higher-order #programming language #question #what
What is a Universal Higher-Order Programming Language? (RK, RC), pp. 682–695.
POPL-1992-CartwrightF #abstraction
Observable Sequentiality and Full Abstraction (RC, MF), pp. 328–342.
Best-of-PLDI-1991-CartwrightF91a #type system
Soft typing (with retrospective) (RC, MF), pp. 412–428.
PLDI-1991-CartwrightF #type system
Soft Typing (RC, MF), pp. 278–292.
PLDI-1989-CartwrightF #dependence #semantics
The Semantics of Program Dependence (RC, MF), pp. 13–27.
LICS-1988-CartwrightD #termination
The Topology of Program Termination (RC, AJD), pp. 296–308.
LFP-1986-BoehmCRO #case study #higher-order #programming
Exact Real Arithmetic: A Case Study in Higher Order Programming (HJB, RC, MR, MJO), pp. 162–173.
Types as Intervals (RC), pp. 22–36.
LFP-1982-CartwrightD #evaluation #lazy evaluation #semantics
The Semantics of Lazy (and Industrious) Evaluation (RC, JED), p. 253–?.
POPL-1981-Cartwright #testing
Formal Program Testing (RC), pp. 125–132.
POPL-1981-CartwrightHM #named #pointer
Paths: An Abstract Alternative to Pointers (RC, RH, PM), pp. 14–27.
LISP-1980-Cartwright #axiom #data type
A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.
POPL-1979-CartwrightM #first-order #logic #programming
First Order Programming Logic (RC, JM), pp. 68–80.
POPL-1978-CartwrightO #hoare #logic #strict
Unrestricted Procedure Calls in Hoare’s Logic (RC, DCO), pp. 131–140.
ICALP-1976-Cartwright #data type #lisp #source code #verification
User-Defined Data Types as an Aid to Verifying LISP Programs (RC), pp. 228–256.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.