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

      Refinement reflection: complete verification with SMT

      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 references32

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Abstract interpretation

          Patrick Cousot, Radhia Cousot (1977)
          Article 0 comments Cited 364 times – based on 0 reviews
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Proof-carrying code

            George C. Necula (1997)
            Article 0 comments Cited 64 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Definitional interpreters for higher-order programming languages

              John Reynolds (1972)
              Article 0 comments Cited 50 times – based on 0 reviews
                Bookmark
                All references

                Author and article information

                Journal
                Title: Proceedings of the ACM on Programming Languages
                Abbreviated Title: Proc. ACM Program. Lang.
                Publisher: Association for Computing Machinery (ACM)
                ISSN (Electronic): 24751421
                Publication date Created: December 27 2017
                Publication date (Print): December 27 2017
                Volume: 2
                Issue: POPL
                Pages: 1-31
                Affiliations
                [1 ]University of Maryland, USA
                [2 ]University of California at San Diego, USA
                [3 ]Indiana University, USA
                [4 ]University of Edinburgh, UK / Input Output HK, UK
                Article
                DOI: 10.1145/3158141
                SO-VID: 44683968-9ef8-4531-a19a-bb4e14b3866a
                Copyright © © 2017
                License:

                http://www.acm.org/publications/policies/copyright_policy#Background

                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content1,811

                See all similar

                Cited by3

                See all cited by

                Most referenced authors152

                See all reference authors