NOOP 与面向对象编程的结构化域理论模型之比较
编程语言
2018-01-01 v3
摘要
主流面向对象编程语言如 Java、C#、C++ 和 Scala 几乎完全采用名义类型。NOOP 是最近开发的 OOP 域理论模型，旨在包含名义类型 OOP 中的完整名义信息。本文比较 NOOP 与最广为人知的 OOP 域理论模型，即 Cardelli 和 Cook 开发的结构类型模型。借助 NOOP 的开发，本文给出的比较为名义与结构 OO 类型系统之间的关系提供了清晰而精确的数学描述。
引用
@article{arxiv.1603.08648,
title = {A Comparison of NOOP to Structural Domain-Theoretic Models of OOP},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1603.08648},
year = {2018}
}
备注
17 pages