部分计值相关论文
该文叙述的工作如下.首先介绍部分计值的思想和技术,并阐明部分计值和基于解释的泛化之间的关系,用逻辑演绎的方式表明它们的算法......
本文主要包括四部分内容。第一部分介绍了部分计值技术的理论基础和研究现状以及应用。第二部分介绍了Java虚拟机的体系结构和Java......
本文介绍了一种基于微内核的运用部分计值思想的嵌入式操作系统的设计与实现。该系统具备尽可能通用（generic）的特点，可按照应用和环......
构造程序语言的部分计值器时最重要的一步是约束时间分析.当已知程序的部分输入时,约束时间分析阶段是区分程序中哪些计算可在部分......
提出了一个基于部分计值技术的信息个人化系统PIPEAgent.部分计值理论源于程序转换中如何在给定部分输入的情况下,对程序完成尽可......
Web服务已逐渐普及,其具体实现封装成黑盒,用户与服务及服务之间通过标准接口通讯,由此基于Web服务的系统具有强扩展性和可复用性......
讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传......
