首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   51篇
  完全免费   16篇
  自动化技术   67篇
  2017年   1篇
  2012年   1篇
  2011年   2篇
  2010年   1篇
  2009年   2篇
  2008年   4篇
  2007年   2篇
  2006年   3篇
  2005年   1篇
  2004年   1篇
  2003年   4篇
  2002年   6篇
  2001年   5篇
  2000年   6篇
  1999年   7篇
  1998年   2篇
  1997年   6篇
  1996年   5篇
  1995年   3篇
  1994年   1篇
  1993年   2篇
  1990年   1篇
  1989年   1篇
排序方式: 共有67条查询结果,搜索用时 31 毫秒
1.
基于信息流分析的部分求值技术   总被引:7,自引:1,他引:6       下载免费PDF全文
刘磊  郑红军  金成植 《软件学报》1995,6(8):509-513
循环展开是过程式语言部分求值中的难题之一.本文提出一种基于信息流分析的部分求值技术,解决了部分求值中循环展开问题.本文利用这一技术,实现了一个过程式语言的部分求值器.  相似文献
2.
基于程序流程图的数据例化与程序例化   总被引:5,自引:0,他引:5  
廖湖声 《计算机学报》2001,24(9):985-990
提出了一基于程序流程图的部分求值方法,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化,能够在例化阶段进行程序基本块例化的同时,完成控制转移的优化,并生成既可用于编译时刻例化,又可用于运行时刻例化的滞留程序,基于这种方式的部分求值系统采用离线工作方式,利用了绑定时间分析,提高了滞留程序的效率,同时避免了例化阶段的代码复制与拼接,有效地简化了运行时刻例化系统的实现难度。  相似文献
3.
面向对象程序设计语言的绑定时间分析技术   总被引:5,自引:0,他引:5       下载免费PDF全文
廖湖声  童兆丰  王众 《软件学报》2003,14(3):415-421
为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.  相似文献
4.
函数式语言的部分求值技术   总被引:3,自引:1,他引:2       下载免费PDF全文
宋立彤  金成植 《软件学报》1996,7(5):306-313
本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.  相似文献
5.
Efficient Implementations of Software Architectures via Partial Evaluation   总被引:2,自引:0,他引:2  
The notion of flexibility (that is, the ability to adapt to changing requirements or execution contexts) is recognized as a key concern in structuring software, and many architectures have been designed to that effect. However, the corresponding implementations often come with performance and code size overheads. The source of inefficiency can be identified to be in the loose integration of components, because flexibility is often present not only at the design level but also in the implementation. To solve this flexibility vs. efficiency dilemma, we advocate the use of partial evaluation, which is an automated technique to produce efficient, specialized instances of generic programs. As supporting case studies, we consider several flexible mechanisms commonly found in software architectures: selective broadcast, pattern matching, interpreters, software layers, and generic libraries. Using Tempo, our specializer for C, we show how partial evaluation can safely optimize implementations of those mechanisms. Because this optimization is automatic, it preserves the original genericity and extensibility of the implementation.  相似文献
6.
LISP语言的增量式部分求值器   总被引:2,自引:0,他引:2       下载免费PDF全文
李航  宋立彤  金成植 《软件学报》1996,7(8):492-498
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.  相似文献
7.
Based on the study of the current two methods-interpretation and compilation-for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user‘s programs,fact scheduling and version management in problem-solving.  相似文献
8.
实现函数式语言部分求值器的约束时间分析   总被引:1,自引:1,他引:0       下载免费PDF全文
文章研究部分求值技术中的约束时间分析,介绍了一种高阶的函数式语言-FSL语言的部分求值器的BTA。  相似文献
9.
约束逻辑程序部分演绎过程的研究   总被引:1,自引:0,他引:1  
陶意  刘椿年 《计算机学报》1997,20(3):238-244
约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的CLP部分演绎的过程。该过程以程序-目标为输入,经过一系列程序变换后终止,输出结果程序-目标对。该过程保证结果程序-目标对和输入程序-目标对计算等价,并且程序Pn解目标Qn比程序P0解目标Q0效率更高。本文提出的方法语给出了一个CLP程序部分演绎的运行这例。  相似文献
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号