6 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 4 cited
Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP
Moez A. AbdelGawad
The construction of GNOOP as a domain-theoretic model of generic nominally-typed OOP is currently underway. This extended abstract presents the concepts of `nominal intervals' and…
cs.PL2014★ 6 cited
Domain Theory for Modeling OOP: A Summary
Moez A. AbdelGawad
Domain theory is `a mathematical theory that serves as a foundation for the semantics of programming languages'. Domains form the basis of a theory of partial information, which ex…