The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Cartwright: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  44. Java type inference is broken: can we fix it? [Citation Graph (, )][DBLP]


  45. Test-first Java concurrency for the classroom. [Citation Graph (, )][DBLP]


  46. ConcJUnit: unit testing for concurrent programs. [Citation Graph (, )][DBLP]


Search in 0.191secs, Finished in 0.193secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002