Blog
About

5
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • 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 references 33

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

          Abstract interpretation

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

            Guarded commands, nondeterminacy and formal derivation of programs

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

              Proof-carrying code

                Bookmark

                Author and article information

                Journal
                Proceedings of the ACM on Programming Languages
                Proc. ACM Program. Lang.
                Association for Computing Machinery (ACM)
                24751421
                December 27 2017
                December 27 2017
                : 2
                : POPL
                : 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
                10.1145/3158141
                © 2017

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

                Product

                Comments

                Comment on this article