Blog
About

1
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Fifty years of Hoare's Logic

      Preprint

      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We discuss a history of Hoare's logic.

          Related collections

          Most cited references 11

          • Record: found
          • Abstract: not found
          • Article: not found

          Ten Years of Hoare's Logic: A Survey---Part I

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Proof System for Communicating Sequential Processes

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Proof rules and transformations dealing with fairness

                Bookmark

                Author and article information

                Journal
                08 April 2019
                Article
                1904.03917

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                Custom metadata
                70 pages
                cs.LO

                Theoretical computer science

                Comments

                Comment on this article