刘宗田 郭亮 蔡经球 郭克榕 钟元生 张克均 阳雪林 于勐 赵政文 谢立 邓少敏 陈道蓄 张然 高鹰 唐新春 黄明和 李力 陶秋铭 陈意云 刘柏丽 叶云文 赵琛 徐锋峰 陈福安 方明 张乃孝 梁秉岑 曾丽芳

程序设计方法学 抽象类型 循环分布 递归程序设计 代码迷惑 程序分析 抽象表达 尾递归 通信优化 软件重用 压平算法 调度 递归程序 数据分布 变换系统 语句交换 变量替换 抽象模式 程序自动生成 程序设计方法学 知识工程 语句重排 形式语言 应用生成器 规格说明书 反编译 抽象解释 坐标 递归消除 自动程序设计

程序设计方法学