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
Tony Hoare
Emeritus Researcher
论文与出版物
-
-
-
-
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?
November 1999
-
Unification of Theories: a Challenge for Computing Science
November 1999
-
A Trace model for pointers and objects
Tony Hoare, He Jifeng
January 1999
-
-
-
Unified Theories of Programming
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?
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
November 1999
-
Unified Theories of Programming
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
November 1999
-
Software Barrier or Frontier?
November 1999
-
A Trace model for pointers and objects
Tony Hoare, He Jifeng
January 1999
-
Unified Theories of Programming
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
-