| 第一章 引言 | 第1-19页 |
| ·论文工作背景 | 第8-9页 |
| ·软件开发与形式规约 | 第8页 |
| ·MLRIF方法 | 第8-9页 |
| ·论文基础知识 | 第9-14页 |
| ·上下文无关语言 | 第9-10页 |
| ·上下文无关语言上的递归函数 | 第10-11页 |
| ·形式规约语言LFC | 第11-14页 |
| ·相关研究工作 | 第14-17页 |
| ·形式规约语言 | 第14-16页 |
| ·函数式语言 | 第16-17页 |
| ·论文工作内容和意义 | 第17-19页 |
| ·论文工作内容和意义 | 第17-18页 |
| ·论文内容安排 | 第18-19页 |
| 第二章 上下文无关语言句子枚举算法 | 第19-27页 |
| ·目的 | 第19页 |
| ·记号及约定 | 第19页 |
| ·最小序句子 | 第19-22页 |
| ·EARLEY+算法 | 第22-23页 |
| ·上下文无关语言句子枚举 | 第23-27页 |
| 第三章 LFC的实现 | 第27-35页 |
| ·背景介绍 | 第27页 |
| ·编译实现概要 | 第27-29页 |
| ·概念和符号 | 第29-35页 |
| 第四章 类型系统 | 第35-44页 |
| ·介绍 | 第35-36页 |
| ·LFC的类型特点 | 第36页 |
| ·LFC的多态类型 | 第36-40页 |
| ·类型检查 | 第40-41页 |
| ·LFC的多态类型系统实现方法 | 第41-44页 |
| 第五章 程序翻译 | 第44-58页 |
| ·中间代码IR1(INTERMEDIATE REPRESENTATION) | 第44-48页 |
| ·中间代码IR1的形式 | 第44-46页 |
| ·统一参数化 | 第46-47页 |
| ·模式分量翻译 | 第47-48页 |
| ·中间代码IR2(INTERMEDIATE REPRESENTATION) | 第48-52页 |
| ·中间代码IR2的形式 | 第48-49页 |
| ·模式的编码和合并 | 第49-50页 |
| ·公共子表达式的提取 | 第50-52页 |
| ·中间代码IR3(INTERMEDIATE REPRESENTATION) | 第52-58页 |
| ·中间代码IR3的形式 | 第52-54页 |
| ·模式匹配树的构造 | 第54-56页 |
| ·模式匹配树的优化 | 第56-58页 |
| 第六章 HSECD抽象机 | 第58-73页 |
| ·计算方法 | 第58-60页 |
| ·HSECD机结构与指令 | 第60-65页 |
| ·HSECD机指令的生成 | 第65-69页 |
| ·HSECD机指令的优化 | 第69-73页 |
| 第七章 汇编代码生成 | 第73-79页 |
| ·存储结构与管理 | 第73-74页 |
| ·存储管理 | 第74-76页 |
| ·宏扩展 | 第76-79页 |
| 第八章 系统和实验 | 第79-84页 |
| ·LFC的编译器 | 第79-81页 |
| ·LFCC的功能 | 第79-80页 |
| ·LFCC的结构 | 第80-81页 |
| ·LFCC的实现 | 第81页 |
| ·实验 | 第81-84页 |
| 第九章 LFC的应用 | 第84-90页 |
| ·应用情况介绍 | 第84页 |
| ·LFC在XML领域的应用 | 第84-90页 |
| 第十章 结束语 | 第90-93页 |
| ·论文工作总结 | 第90-91页 |
| ·下一步的工作 | 第91-93页 |
| 参考文献 | 第93-97页 |
| 附录A LFC语言 | 第97-100页 |
| A. 1 LFC的BNF | 第97-98页 |
| A. 2 基本类型 | 第98页 |
| A. 3 基本函数 | 第98-100页 |
| 附录B HSECD机指令状态转换表 | 第100-104页 |
| 附录C DTD的文法 | 第104-106页 |
| 攻读博士学位期间发表的文章 | 第106-107页 |
| 致谢 | 第107页 |
