Tony Hoare

Emeritus Researcher

출판물

자료 보기:

- 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
  
  출판 프로젝트
- 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
  
  출판
- Playing by the rules: rewriting as a practical optimisation technique in GHC
  
  Simon Peyton Jones, Andrew Tolmach, Tony Hoare
  
  2001 Haskell Workshop | September 2001
  
  출판
- Software Barrier or Frontier?
  
  Tony Hoare
  
  November 1999
  
  출판
- Unification of Theories: a Challenge for Computing Science
  
  Tony Hoare,
  
  November 1999
  
  출판 출판
- A Trace model for pointers and objects
  
  Tony Hoare, He Jifeng
  
  January 1999
  
  출판
- Unified Theories of Programming
  
  Tony Hoare,
  
  January 1997
  
  출판 출판

- Playing by the rules: rewriting as a practical optimisation technique in GHC
  
  Simon Peyton Jones, Andrew Tolmach, Tony Hoare
  
  2001 Haskell Workshop | September 2001
  
  출판
- Software Barrier or Frontier?
  
  Tony Hoare
  
  November 1999
  
  출판
- A Trace model for pointers and objects
  
  Tony Hoare, He Jifeng
  
  January 1999
  
  출판
- 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
  
  출판 프로젝트
- 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
  
  출판
- Unification of Theories: a Challenge for Computing Science
  
  Tony Hoare,
  
  November 1999
  
  출판 출판
- Unified Theories of Programming
  
  Tony Hoare,
  
  January 1997
  
  출판 출판

- Playing by the rules: rewriting as a practical optimisation technique in GHC
  
  Simon Peyton Jones, Andrew Tolmach, Tony Hoare
  
  2001 Haskell Workshop | September 2001
  
  출판
- Unification of Theories: a Challenge for Computing Science
  
  Tony Hoare,
  
  November 1999
  
  출판 출판
- Software Barrier or Frontier?
  
  Tony Hoare
  
  November 1999
  
  출판
- A Trace model for pointers and objects
  
  Tony Hoare, He Jifeng
  
  January 1999
  
  출판
- Unified Theories of Programming
  
  Tony Hoare,
  
  January 1997
  
  출판 출판
- 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
  
  출판 프로젝트
- 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
  
  출판