函数型语言相关论文
该文对推理机的结构进行了全面的探讨,指出了推理机与并行模型、核心语言之间的关系,以及推理机结构对并行模型,核心语言的支持方式。......
介绍一种扩展的类型理论构造演算ECC;讨论了用它表示松散语义抽象类型的程序规范的方法,然后介绍如何用函数型语言ML使这种方法得以实现。......
讨论函数式语言中引入赋值操作,表达式的副作用对程序正确性检查的影响,同时也讨论了强制型语言中如何克服表达式的副作用.文中引......
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据......