2016/03/29 by Moez A. AbdelGawad, AbdelGawad, Moez A. · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #D.1.5 #F.3.2 #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #cs.PL
paper · pdf · doi:10.48550/arxiv.1603.08648
17 pages
openalex publication_date 2016/03/29 · arxiv created 2017/12/29 · arxiv updated 2018/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.