21
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming

      Preprint

      Read this article at

          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

          Mainstream object-oriented programming languages such as Java, C#, C++ and Scala are all almost entirely nominally-typed. NOOP is a recently developed domain-theoretic model of OOP that was designed to include full nominal information found in nominally-typed OOP. This paper compares NOOP to the most widely known domain-theoretic models of OOP, namely, the models developed by Cardelli and Cook, which were structurally-typed models. Leveraging the development of NOOP, the comparison presented in this paper provides a clear and precise mathematical account for the relation between nominal and structural OO type systems.

          Related collections

          Most cited references11

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

          Classes and mixins

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            A semantics of multiple inheritance

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

              F-bounded polymorphism for object-oriented programming

                Bookmark

                Author and article information

                Journal
                2016-03-29
                2016-04-30
                Article
                1603.08648
                6daf337c-dae4-4e0e-9d33-e64ef49d3677

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

                History
                Custom metadata
                17 pages
                cs.PL

                Programming languages
                Programming languages

                Comments

                Comment on this article