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

      Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems

      Author(s): 1
      Publication date Created:
      Publication date (Print):
      Journal: Journal of the ACM (JACM)
      Publisher: Association for Computing Machinery (ACM)

      Read this article at

      ScienceOpenPublisher
      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.

          Related collections

          Most cited references8

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

          An axiomatic basis for computer programming

          C. Hoare (1969)
          Article 0 comments Cited 369 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Revised report on the algorithm language ALGOL 60

            J. W. Backus, J. Wegstein, A K S van Wijngaarden … (1963)
            Article 0 comments Cited 27 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Procedures and parameters: An axiomatic approach

              C. Hoare (1971)
              Article 0 comments Cited 21 times – based on 0 reviews
                Bookmark
                All references

                Author and article information

                Journal
                Title: Journal of the ACM (JACM)
                Abbreviated Title: J. ACM
                Publisher: Association for Computing Machinery (ACM)
                ISSN (Print): 0004-5411
                ISSN (Electronic): 1557-735X
                Publication date Created: January 1979
                Publication date (Print): January 1979
                Volume: 26
                Issue: 1
                Pages: 129-147
                Affiliations
                [1 ]Center for Research in Computing Technology, Aiken Computation Laboratory, Harvard University, Cambridge, MA and Duke University, Durham, North Carolina
                Article
                DOI: 10.1145/322108.322121
                SO-VID: c3406c86-5363-402d-a617-f49404f2051e
                Copyright © © 1979
                History

                Data availability:

                Comments

                Comment on this article