祥珠 奥契塔 山岭 菊燕

面向对象编程 D触发器 继承性 OOP语言 语义学 构造子 函数式程序设计 时变元 EVAL 分散控制 同步时序电路 消息传递 函数程序设计语言 完全语言 PROLOG程序 程序设计体裁 对象模板 并发软件 模块化 策略思想 多重继承 ?（γω）理论 程序设计 Petri网 直接实现 ?γω)理论 自动机 学理论 类型检验 特征方程

成都电讯工程学院 电子科技大学计算机系 成都电子科技大学计算机系 电子科技大学