For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
18
views
11
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      0
      similar
       All similar
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Fifty years of Hoare's Logic

      Preprint
      Author(s): ,
      Publication date Created:

      Read this article at

      ScienceOpenArXiv
      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 references11

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

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

          Krzysztof R. Apt (1981)
          Article 0 comments Cited 37 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Proof System for Communicating Sequential Processes

            Krzysztof R. Apt, Nissim and Willem P. de Roever (1980)
            Article 0 comments Cited 25 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Proof rules and transformations dealing with fairness

              K.R. Apt, E.-R. Olderog (1983)
              Article 0 comments Cited 10 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Publication date Created: 08 April 2019
                Article
                ArXiV ID: 1904.03917
                SO-VID: 5f4c8d58-b066-4e6a-9213-8fcd5be44247
                License:

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

                History
                Custom metadata
                Comments 70 pages
                Categories cs.LO

                ScienceOpen disciplines: Theoretical computer science
                Data availability:
                ScienceOpen disciplines: Theoretical computer science

                Comments

                Comment on this article