可扩展编译系统的关键技术研究

第一章 绪论	第1-19页
·程序语言的设计与实现	第10-13页
·程序语言的研究	第10-12页
·语言技术现状和问题	第12-13页
·可扩展编译系统	第13-16页
·相关领域	第16-17页
·程序语言技术	第16页
·程序设计方法学	第16-17页
·软件工程	第17页
·内容简介	第17-19页
第二章 X编译系统设计原则	第19-42页
·语言的定义	第19-27页
·代数语义	第20-23页
·指称语义	第23-25页
·X语义描述方法	第25-27页
·语言扩展的原动力	第27-33页
·程序空间	第27-28页
·语言演化	第28-29页
·工程约束	第29-31页
·效率要求	第31-32页
·小结	第32-33页
·程序设计方法学	第33-40页
·过程抽象和宏	第33-34页
·面向对象的程序设计方法学	第34-35页
·基于程序变换的程序设计方法学	第35-36页
·多视图的编程模型	第36-40页
·程序设计方法学小结	第40页
·小结	第40-42页
第三章 X体系结构	第42-70页
·可扩展的编译器	第42-49页
·并行优化编译器分析	第42-44页
·可扩展的编译器设计	第44-46页
·公共编译基础结构	第46-47页
·“统一”和“开放”需求	第47-49页
·X语言扩展模型	第49-63页
·语言屏障	第49-51页
·元对象协议	第51-55页
·镜像模型	第55-62页
·镜像小结	第62-63页
·X语言环境	第63-67页
·镜像的层次	第63-64页
·C及Open C++语言环境分析	第64-65页
·函数式语言环境分析	第65页
·X语言环境	第65-67页
·X体系结构	第67-69页
·X编译器数据流	第67-68页
·X编译器基本结构	第68-69页
·扩展方案	第69页
·小结	第69-70页
第四章 X语言机制	第70-94页
·语法	第70-71页
·抽象语法	第70页
·具体语法	第70-71页
·表达式	第71-75页
·环境	第71-72页
·原子项	第72-73页
·项表	第73-75页
·类型系统	第75-83页
·类型语法	第76-81页
·类型推导	第81-83页
·程序变换系统	第83-92页
·框架算法(TRSAlg)	第83-87页
·部分求值器	第87-90页
·算法的扩展	第90-92页
·X语言机制小结	第92-94页
第五章 X系统基础设施的实现技术	第94-113页
·原型系统XO的基本结构	第94-98页
·编译流程	第94-95页
·用户接口	第95-96页
·模块划分	第96-98页
·分布式定义的合一	第98-102页
·类型合一	第99-101页
·具体数据结构	第101-102页
·增量式编译	第102-105页
·语言扩展和系统的可扩充性	第105-112页
·定义语言扩展	第105-106页
·实现方案分析	第106页
·动态展开实现	第106-109页
·增量式扩展语言	第109-112页
·小结	第112-113页
第六章 结束语	第113-119页
·相关工作	第113-116页
·程序语言实现技术	第113-114页
·reflective程序设计语言	第114页
·函数式程序设计语言	第114-115页
·类型系统	第115-116页
·软件开发万法研究	第116页
·结论	第116-118页
·工作展望	第118-119页
交叉索引	第119-120页
参考文献	第120-124页
附录A XO实现情况及语言扩展的实例	第124-130页
作者简介	第130页