Warren抽象机相关论文
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略，并通过定义新的数据结构，采用多种优化策略，使该系统能够......
描述了一个基于ＷＡＭ的高度优化的全Ｐｒｏｌｏｇ编译系统的设计与实现。本系统是在并行，约束逻辑程序设计等方向上扩充了ＷＡＭ的出发点和基本平台，系统能高......
用Ｃ语言严格描术字Ｗａｒｒｅｎ抽象机的数据结构，并给出ＷＡＭ指令代码的具体解释实现及算术表达式的高效处理。......
