NOOP: A Domain-Theoretic Model of Nominally-Typed OOP

Moez AbdelGawad, Robert Cartwright

The majority of industrial-strength object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to anal…