Showing 1 - 20 results of 475 for search 'Hoare, T', query time: 0.02s Refine Results
  1. 1
    The ideal of verified software

    The ideal of verified software by Hoare, T

    Published 2006
    Conference item
  2. 2
    Generic Models of the Laws of Programming

    Generic Models of the Laws of Programming by Hoare, T

    Published 2013
    Conference item
  3. 3
    The Ideal of Program Correctness: Third Computer Journal Lecture

    The Ideal of Program Correctness: Third Computer Journal Lecture by Hoare, T

    Published 2007
    Journal article
  4. 4
    Fine−Grain Concurrency

    Fine−Grain Concurrency by Hoare, T

    Published 2008
    Conference item
  5. 5
    Laws of programming with concurrency (Invited Talk)

    Laws of programming with concurrency (Invited Talk) by Hoare, T

    Published 2013
    Conference item
  6. 6
    Compensable Transactions

    Compensable Transactions by Hoare, T

    Published 2008
    Conference item
  7. 7
    Unifying Semantics for Concurrent Programming

    Unifying Semantics for Concurrent Programming by Hoare, T

    Published 2013
    Conference item
  8. 8
    Fine−grain Concurrency

    Fine−grain Concurrency by Hoare, T

    Published 2007
    Conference item
  9. 9
    Science and Engineering: A Collusion of Cultures

    Science and Engineering: A Collusion of Cultures by Hoare, T

    Published 2007
    Conference item
  10. 10
    Keynote: A Vision for the Science of Computing

    Keynote: A Vision for the Science of Computing by Hoare, T

    Published 2008
    Conference item
  11. 11
    Testing and Proving‚ Hand−in−Hand

    Testing and Proving‚ Hand−in−Hand by Hoare, T

    Published 2010
    Conference item
  12. 12
    Recovery Blocks

    Recovery Blocks by Hoare, T

    Published 2011
    Conference item
  13. 13
    Net Models for Concurrent Object Behaviour

    Net Models for Concurrent Object Behaviour by Hoare, T

    Published 2012
    Conference item
  14. 14
    Fine−grain concurrency

    Fine−grain concurrency by Hoare, T

    Published 2010
    Journal article
  15. 15
    Verification of Fine−grain Concurrent Programs

    Verification of Fine−grain Concurrent Programs by Hoare, T

    Published 2008
    Journal article
  16. 16
    Algebra of concurrent design

    Algebra of concurrent design by Hoare, T

    Published 2012
    Conference item
  17. 17
    Verified Software: Theories‚ Tools‚ Experiments

    Verified Software: Theories‚ Tools‚ Experiments by Hoare, T

    Published 2008
    Conference item
  18. 18
    Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award

    Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award by Hoare, T

    Published 2012
    Conference item
  19. 19
    Why ever CSP?

    Why ever CSP? by Hoare, T

    Published 2006
    Journal article
  20. 20
    The Ideal of Verified Software

    The Ideal of Verified Software by Hoare, T

    Published 2006
    Conference item

Search Tools: