Tony Hoare

Differential Static Analysis: Opportunities, Applications, and Challenges

Shuvendu Lahiri, Kapil Vaswani, Tony Hoare

2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010

Publication Project

Stuck-Free Conformance Theory for CCS

Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof

MSR-TR-2004-69 | July 2004

Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking

Publication

Playing by the rules: rewriting as a practical optimisation technique in GHC

Simon Peyton Jones, Andrew Tolmach, Tony Hoare

2001 Haskell Workshop | September 2001

Publication

Software Barrier or Frontier?

Tony Hoare

November 1999

Publication

Unification of Theories: a Challenge for Computing Science

Tony Hoare,

November 1999

Publication Publication

A Trace model for pointers and objects

Tony Hoare, He Jifeng

January 1999

Publication

Unified Theories of Programming

Tony Hoare,

January 1997

Publication Publication

Playing by the rules: rewriting as a practical optimisation technique in GHC

Simon Peyton Jones, Andrew Tolmach, Tony Hoare

2001 Haskell Workshop | September 2001

Publication

Software Barrier or Frontier?

Tony Hoare

November 1999

Publication

A Trace model for pointers and objects

Tony Hoare, He Jifeng

January 1999

Publication

Differential Static Analysis: Opportunities, Applications, and Challenges

Shuvendu Lahiri, Kapil Vaswani, Tony Hoare

2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010

Publication Project

Stuck-Free Conformance Theory for CCS

Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof

MSR-TR-2004-69 | July 2004

Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking

Publication

Unification of Theories: a Challenge for Computing Science

Tony Hoare,

November 1999

Publication Publication

Unified Theories of Programming

Tony Hoare,

January 1997

Publication Publication

Playing by the rules: rewriting as a practical optimisation technique in GHC

Simon Peyton Jones, Andrew Tolmach, Tony Hoare

2001 Haskell Workshop | September 2001

Publication

Unification of Theories: a Challenge for Computing Science

Tony Hoare,

November 1999

Publication Publication

Software Barrier or Frontier?

Tony Hoare

November 1999

Publication

A Trace model for pointers and objects

Tony Hoare, He Jifeng

January 1999

Publication

Unified Theories of Programming

Tony Hoare,

January 1997

Publication Publication

Differential Static Analysis: Opportunities, Applications, and Challenges

Shuvendu Lahiri, Kapil Vaswani, Tony Hoare

2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010

Publication Project

Stuck-Free Conformance Theory for CCS

Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof

MSR-TR-2004-69 | July 2004

Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking

Publication