Robert Cartwright

CoRR, 2018

2016

Developing a first course on cyber-physical systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

Domain Theory: An Introduction.

[BibT_eX]

[DOI]

Marcia Kilchenman O'Malley

Rebecca Parsons

Moez A. AbdelGawad

CoRR, 2016

2015

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. IoT Infrastructures, 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Developing A First Course on Cyber-Physical Systems.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

DrHJ: a lightweight pedagogic IDE for Habanero Java.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

The trouble with real numbers (Invited paper).

[BibT_eX]

[DOI]

Walid Taha

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Test-first Java concurrency for the classroom.

[BibT_eX]

[DOI]

Mathias Ricken

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Mathematical equations as executable models of mechanical systems.

[BibT_eX]

[DOI]

Marisa Linnea Peralta

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009

ConcJUnit: unit testing for concurrent programs.

[BibT_eX]

[DOI]

Mathias Ricken

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

In Pursuit of Real Answers.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

Java type inference is broken: can we fix it?

[BibT_eX]

[DOI]

Daniel Smith

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Deriving components from genericity.

[BibT_eX]

[DOI]

James Sasitorn

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Component nextgen: a sound and expressive component framework for java.

[BibT_eX]

[DOI]

James Sasitorn

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Safe instantiation in Generic Java.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Efficient first-class generics on stock Java virtual machines.

[BibT_eX]

[DOI]

James Sasitorn

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

Taming Java for the classroom.

[BibT_eX]

[DOI]

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

Taming a professional IDE for the classroom.

[BibT_eX]

[DOI]

Charles Reis

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

2003

Production programming in the classroom.

[BibT_eX]

[DOI]

Charles Reis

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

A friendly face for Eclipse.

[BibT_eX]

[DOI]

Charles Reis

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

A first-class approach to genericity.

[BibT_eX]

[DOI]

Jonathan Bannet

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

DrJava: a lightweight pedagogic environment for Java.

[BibT_eX]

[DOI]

Brian Stoler

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

The case for run-time types in generic Java.

[BibT_eX]

[DOI]

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

Efficient Implementation of Run-time Generic Types for Java.

[BibT_eX]

Brian Stoler

Proceedings of the Generic Programming, 2002

1999

Safety as a Metric.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Software Engineering Education and Training, 1999

1998

Compatible Genericity with Run-Time Types for the Java Programming Language.

[BibT_eX]

[DOI]

Guy L. Steele Jr.

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997

A Practical Soft Type System for Scheme.

[BibT_eX]

[DOI]

Andrew K. Wright

ACM Trans. Program. Lang. Syst., 1997

1996

Iterative Belief Revision in Extended Logic Programming.

[BibT_eX]

[DOI]

Jia-Huai You

Ming Li

Theor. Comput. Sci., 1996

Program Verification Through Soft Typing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

1994

Fully Abstract Semantics for Observably Sequential Languages

[BibT_eX]

[DOI]

Pierre-Louis Curien

Inf. Comput., June, 1994

Extensible Denotational Language Specifications.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

Tractable Argumentation Semantics via Iterative Belief Revision.

[BibT_eX]

Jia-Huai You

Proceedings of the Logic Programming, 1994

1993

What is a Universal Higher-Order Programming Language?

[BibT_eX]

[DOI]

Ramarao Kanneganti

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).

[BibT_eX]

[DOI]

Ramarao Kanneganti

Proceedings of the Sematics: Foundations and Applications, 1992

Observable Sequentiality and Full Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991

Soft typing (with retrospective)

[BibT_eX]

[DOI]

Mike Fagan

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1991

Soft Typing.

[BibT_eX]

[DOI]

Mike Fagan

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

Lambda: the Ultimate Combinator.

[BibT_eX]

[DOI]

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1989

The Semantics of Program Dependence.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1988

The Topology of Program Termination

[BibT_eX]

[DOI]

Alan J. Demers

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.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

Types as Intervals.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIAM J. Comput., 1984

1983

Non-Standard Fixed Points in First Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1983

1982

The Semantics of Lazy (and Industrious) Evaluation.

[BibT_eX]

[DOI]

James E. Donahue

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1981

The Logic of Aliasing.

[BibT_eX]

[DOI]

Derek C. Oppen

Acta Informatica, 1981

Paths: An Abstract Alternative to Pointers.

[BibT_eX]

[DOI]

Robert Hood

Philip Mathews

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Formal Program Testing.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Toward a Logical Thoery of Program Data.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

1980

A Constructive Alternative to Axiomatic Data Type Definitions.

[BibT_eX]

[DOI]

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1979

First Order Programming Logic.

[BibT_eX]

[DOI]

John McCarthy

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.

[BibT_eX]

[DOI]

Derek C. Oppen

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.

[BibT_eX]

[DOI]

John McCarthy

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

A practical formal semantic definition and verification system for TYPED LISP.

[BibT_eX]

[DOI]

PhD thesis, 1977

1976

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

[BibT_eX]

Proceedings of the Third International Colloquium on Automata, 1976

A Practical Formal Semantic Definition and Verification System for TYPED LISP

[BibT_eX]