STOOP:面向对象与状态转移一体化的程序设计体裁

本文提出,在 C/C^(++)这样的面向对象编程语言中的一种“面向对象与状态转移一体化的程序设计体裁(STOOP)”,或者,一种“嵌入于 C/C^(++)中的面向对象与状态转移一体化的编程语言”.它蕴含了诸如过程式、产生式(基于法则的)、逻辑式等体裁。本文讨论 STOOP 的语言特性,在 C/C^(++)中STOOP 的体系结构,STOOP 与过程式、产生式、逻辑式诸体裁的关系。