33
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      The octagon abstract domain

      Higher-Order and Symbolic Computation
      Springer Nature

      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 references20

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

          On a routing problem

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

            Abstract Interpretation Frameworks

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

              Affine relationships among variables of a program

                Bookmark

                Author and article information

                Journal
                Higher-Order and Symbolic Computation
                Higher-Order Symb Comput
                Springer Nature
                1388-3690
                1573-0557
                March 2006
                March 2006
                : 19
                : 1
                : 31-100
                Article
                10.1007/s10990-006-8609-1
                2d58f305-5114-441d-84db-43296c648b29
                © 2006
                History

                Comments

                Comment on this article