Robert Cartwright

According to our database1, Robert Cartwright
  • authored at least 58 papers between 1976 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Developing a first course on cyber-physical systems.
SIGBED Review, 2016

Domain Theory: An Introduction.
CoRR, 2016

2015

2014
Modeling Basic Aspects of Cyber-Physical Systems, Part II.
CoRR, 2014

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract).
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Developing A First Course on Cyber-Physical Systems.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2014

2012
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

2011
A core language for executable models of cyber physical systems: work in progress report.
SIGBED Review, 2011

DrHJ: a lightweight pedagogic IDE for Habanero Java.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

2010
Test-first Java concurrency for the classroom.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Mathematical equations as executable models of mechanical systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009
ConcJUnit: unit testing for concurrent programs.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

In Pursuit of Real Answers.
Proceedings of the International Conference on Embedded Software and Systems, 2009

2008
Java type inference is broken: can we fix it?
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Deriving components from genericity.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Component nextgen: a sound and expressive component framework for java.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006
Safe instantiation in Generic Java.
Sci. Comput. Program., 2006

Efficient first-class generics on stock Java virtual machines.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005
Taming Java for the classroom.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004
Taming a professional IDE for the classroom.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Safe instantiation in generic Java.
Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004

2003
Production programming in the classroom.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

A friendly face for Eclipse.
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

A first-class approach to genericity.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002
DrJava: a lightweight pedagogic environment for Java.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002, Cincinnati, Kentucky, USA, February 27, 2002

The case for run-time types in generic Java.
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

Efficient Implementation of Run-time Generic Types for Java.
Proceedings of the Generic Programming, 2002

1999
Safety as a Metric.
Proceedings of the 12th Conference on Software Engineering Education and Training, 1999

1998
Compatible Genericity with Run-Time Types for the Java Programming Language.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997
A Practical Soft Type System for Scheme.
ACM Trans. Program. Lang. Syst., 1997

1996
Iterative Belief Revision in Extended Logic Programming.
Theor. Comput. Sci., 1996

Program Verification Through Soft Typing.
ACM Comput. Surv., 1996

1994
Fully Abstract Semantics for Observably Sequential Languages
Inf. Comput., June, 1994

Extensible Denotational Language Specifications.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Tractable Argumentation Semantics via Iterative Belief Revision.
Proceedings of the Logic Programming, 1994

A Practical Soft Type System for Scheme.
LISP and Functional Programming, 1994

1993
What is a Universal Higher-Order Programming Language?
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).
Proceedings of the Sematics: Foundations and Applications, 1992

Observable Sequentiality and Full Abstraction.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991
Soft typing (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1991

Soft Typing.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

1989
The Semantics of Program Dependence.
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1988
The Topology of Program Termination
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1986
Exact Real Arithmetic: A Case Study in Higher Order Programming.
LISP and Functional Programming, 1986

1985
Types as Intervals.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984
Recursive Programs as Definitions in First Order Logic.
SIAM J. Comput., 1984

1983
Non-Standard Fixed Points in First Order Logic.
Proceedings of the Logics of Programs, 1983

1982
The Semantics of Lazy (and Industrious) Evaluation.
Symposium on LISP and Functional Programming, 1982

1981
The Logic of Aliasing.
Acta Inf., 1981

Paths: An Abstract Alternative to Pointers.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Formal Program Testing.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Toward a Logical Thoery of Program Data.
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, May 1981, 1981

1980
A Constructive Alternative to Axiomatic Data Type Definitions.
LISP Conference, 1980

1979
First Order Programming Logic.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978
Unrestricted Procedure Calls in Hoare's Logic.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

Recursive programs as functions in a first order theory.
Proceedings of the Mathematical Studies of Information Processing, 1978

1976
User-Defined Data Types as an Aid to Verifying LISP Programs.
ICALP, 1976

A Practical Formal Semantic Definition and Verification System for TYPED LISP
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4420-7, 1976


  Loading...