Chemical Semantics of Object Oriented Languages
面向对象语言的化学语义

化学计算模型是基于化学反应和计算之间比喻的并行计算模型，其内在的并行性及不确定性可以有效地消 除与计算逻辑本身无关的人为顺序性，从而能够以更为直观和抽象的方式来描述并行计算。但也正是由于其内在的 并行性和高层抽象性，使得特定的控制机制难以描述。高阶化学编程语言是对传统化学计算模型的扩展和泛化，在保 留传统化学计算特征的同时，不仅可以有效地描述传统的控制机制，也可以方便地定义新的控制机制。通过从简单面 向对象语言到高阶化学语言的转换，给出了面向对象语言的一种化学语义描述，提供了一种描述面向对象系统的新视 角，也为结合面向对象编程和化学编程提供了一种可能。