论文部分内容阅读
G(o)del语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢.对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述.最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况.实验结果表明了其可行性.