首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   10篇
  完全免费   7篇
  自动化技术   17篇
  2007年   1篇
  2006年   2篇
  2002年   1篇
  1997年   3篇
  1996年   4篇
  1995年   3篇
  1994年   1篇
  1993年   1篇
  1992年   1篇
排序方式: 共有17条查询结果,搜索用时 31 毫秒
1.
基于信息流分析的部分求值技术   总被引:7,自引:1,他引:6       下载免费PDF全文
刘磊  郑红军  金成植 《软件学报》1995,6(8):509-513
循环展开是过程式语言部分求值中的难题之一.本文提出一种基于信息流分析的部分求值技术,解决了部分求值中循环展开问题.本文利用这一技术,实现了一个过程式语言的部分求值器.  相似文献
2.
基于语法的元程序设计系统的自动生成技术   总被引:4,自引:0,他引:4  
本文提出一种基于语法的元程序设计系统的自动生成技术,并开发了一个元程序设计系统的自动生成系统A-MPS。元程序设计系统是一种以程序作为操作对象的有效的程序设计工具,并具有广泛的应用。  相似文献
3.
用有向图实现的ATLAS编译系统中的设备分配   总被引:3,自引:0,他引:3  
ATLAS是测试领域的流行语言,用其编写的测试程序可在任一个具体的自动化测试平台上工作。设备分配是每个ATLAS编译系统都要面临的任务之一。该文提出了将被测设备与自动化测试平台组成的系统看成是有向图,利用图的遍历算法来实现设备分配过程。  相似文献
4.
函数式语言的部分求值技术   总被引:3,自引:1,他引:2       下载免费PDF全文
宋立彤  金成植 《软件学报》1996,7(5):306-313
本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.  相似文献
5.
LISP语言的增量式部分求值器   总被引:2,自引:0,他引:2       下载免费PDF全文
李航  宋立彤  金成植 《软件学报》1996,7(8):492-498
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.  相似文献
6.
过程式语言到函数式语言的抽象方法   总被引:1,自引:0,他引:1  
金成植  刘磊 《计算机学报》1997,20(8):731-736
本文给出了从过程式程序到函数式程序的转换规则,这些转换规则是从语言的接续指称语义推导出来的,我们考虑了GOTO语句的处理,因此,我们的方法可以处理非结构化程序。由于这些转换规则是从指称语义导出的,其正确性得到了保证。  相似文献
7.
C_MPS的设计与实现   总被引:1,自引:0,他引:1  
元程序设计系统是进行元程序设计的有效工具。C_MPS(CMetaProgra-mming System)是我们在PC机上开发的C语言的元程序设计系统,本文介绍了该系统的设计思想和实现技术。  相似文献
8.
OOFL是我们设计的一种面向对象的函数式语言,该语言具有对象式语言和函数式语言的优点。本文详细介绍了OOFL到C++的转换技术,构造了OOFL语言的元程序设计环境,探讨了对象函数式语言的一些实现方法,并在微机上实现了OOFL到C++的转换系统。  相似文献
9.
嵌套型过程式语言的过程提升对于程序变换和提高程序目标代码的效率等方面有着重要的意义。本文提出了一种基于字符串的过程提升技术,该技术的特点是占用空间小,转换速度快,从而使在具体系统中由于空间原因不可能的成为完全可能,我们在微机建立了一个过程提升系统。  相似文献
10.
TP_SDDT是Turbo PASCAL环境中一个有效的软件工具,凡是与语法有关的软件开发工作,如语法分析,元级操作和部分求值等,均可利用TP_SDDT来完成,本文介绍了TP_SDDT的设计思想及实现技术。TP_SDDT已在微机上实现。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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