命令式语言的化学语义

化学计算模型是基于化学反应和计算之间比喻的并行计算模型,其内在的并行性及不确定性可以有效的消除与计算逻辑本身无关的人为顺序性,但是难于描述特定的控制机制.高阶化学编程语言是对传统化学计算模型的扩展和泛化,可以描述传统的控制机制和定义新的控制机制.通过从简单命令式语言到高阶化学语言的转换,给出了命令式语言的一种化学语义描述,为结合命令式编程和化学编程提供了一种可能.

Chemical Semantics of Imperative Languages

Chemical computation model is a kind of parallel computation model based on the chemical reaction metaphor.The inherent properties of chemical computation model are nondeterminism and parallel,which can effectively get rid of artificial sequentiality not imposed by the logic of the computation and allow to describe programs in an intuitive and Abstract way.However,such properties also make it rather difficult to model special control mechanisms.Higher order chemical language extends and generalizes the conventional chemical programming languages.Classical control mechanisms can be modeled in higher order chemical language,and new control mechanisms can also be defined.A simple imperative language is transformed into high order chemical language which gives the chemical semantics of the simple imperative language.Such chemical semantics provide a possible way to combine imperative programming and chemical programming.