约束时间分析相关论文
Java语言是一种通用的面向对象程序设计语言,它的应用范围非常广泛,但程序执行效率较低. 为了提高Java的执行效率,我们把部分求值......
该篇论文包含二部分较为独立的工作:1.并行函数式语言的部分计值研究;2.一种新型的扩充逻辑及其应用于程序验证的研究.研究人员研......
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况......
构造程序语言的部分计值器时最重要的一步是约束时间分析.当已知程序的部分输入时,约束时间分析阶段是区分程序中哪些计算可在部分......
文章研究部分求值技术中的约束时间分析,介绍了一种高阶的函数式语言-FSL语言的部分求值器的BTA。......
讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传......