部分计值相关论文
该篇论文包含二部分较为独立的工作:1.并行函数式语言的部分计值研究;2.一种新型的扩充逻辑及其应用于程序验证的研究.研究人员研......
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况......
该文叙述的工作如下.首先介绍部分计值的思想和技术,并阐明部分计值和基于解释的泛化之间的关系,用逻辑演绎的方式表明它们的算法......
本文主要包括四部分内容。第一部分介绍了部分计值技术的理论基础和研究现状以及应用。第二部分介绍了Java虚拟机的体系结构和Java......
本文介绍了一种基于微内核的运用部分计值思想的嵌入式操作系统的设计与实现。该系统具备尽可能通用（generic）的特点，可按照应用和环......
部分计值在理论上的研究取得了相当大的成果,如何将其结合到软件工程之中,对根据软件构架所实现的应用软件进行优化是近些年比较热......
构造程序语言的部分计值器时最重要的一步是约束时间分析.当已知程序的部分输入时,约束时间分析阶段是区分程序中哪些计算可在部分......
为从根本上改善Java程序运行效率,充分发挥其跨平台和分布式计算的特点,促进网络计算更快发展,本文讨论了基于部分计值的字节码例......
提出了一个基于部分计值技术的信息个人化系统PIPEAgent.部分计值理论源于程序转换中如何在给定部分输入的情况下,对程序完成尽可......
讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传......
