首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   39篇
  国内免费   2篇
  完全免费   13篇
  自动化技术   54篇
  2014年   2篇
  2011年   1篇
  2010年   1篇
  2009年   3篇
  2008年   4篇
  2007年   4篇
  2006年   2篇
  2005年   3篇
  2004年   3篇
  2003年   2篇
  2002年   3篇
  2001年   2篇
  2000年   1篇
  1999年   2篇
  1998年   2篇
  1997年   6篇
  1996年   4篇
  1995年   2篇
  1994年   1篇
  1993年   1篇
  1992年   2篇
  1986年   1篇
  1985年   1篇
  1984年   1篇
排序方式: 共有54条查询结果,搜索用时 78 毫秒
1.
函数式语言中的赋值语句   总被引:7,自引:0,他引:7       下载免费PDF全文
文章探讨了怎样在纯函数式语言中加入赋值操作,而又不丧失引用透明性特征的问题,给出了这些操作的指称语义,并用这些赋值操作定义了一个简单的命令式语言的解释程序.  相似文献
2.
Haskell语言的列表内涵特性及其应用   总被引:7,自引:1,他引:6  
Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell语言的列表内涵特性,并通过几个相关的例子,阐述如何利用Haskell语言的列表内涵特性来编写功能强大但却简短优美的程序。  相似文献
3.
Haskell语言的高阶特性及其应用   总被引:6,自引:2,他引:4       下载免费PDF全文
Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特性,并通过几个与树相关的例子,阐述如何利用Haskell语言的高阶特性来编写功能强大但却简短漂亮的程序。  相似文献
4.
基于交互式语法制导Web方式的函数式语言的设计与实现   总被引:2,自引:0,他引:2  
敖丽敏  汪懋华 《计算机应用》2003,23(8):21-22,26
文中设计一个嵌入式函数语言系统,此系统用于过程性知识表示。系统分为两部分,一是基于Web方式的交互式语法制导模式的中间语言编辑部分;另一个是语言解释、执行(求值)部分。这个系统的工作效率主要依赖于中间语言的优化设计。  相似文献
5.
过程式语言到函数式语言的抽象方法   总被引:1,自引:0,他引:1  
金成植  刘磊 《计算机学报》1997,20(8):731-736
本文给出了从过程式程序到函数式程序的转换规则,这些转换规则是从语言的接续指称语义推导出来的,我们考虑了GOTO语句的处理,因此,我们的方法可以处理非结构化程序。由于这些转换规则是从指称语义导出的,其正确性得到了保证。  相似文献
6.
实现函数式语言部分求值器的约束时间分析   总被引:1,自引:1,他引:0       下载免费PDF全文
文章研究部分求值技术中的约束时间分析,介绍了一种高阶的函数式语言-FSL语言的部分求值器的BTA。  相似文献
7.
形式规约语言中函数运算的优化   总被引:1,自引:0,他引:1       下载免费PDF全文
张荣华  董韫美 《软件学报》2000,11(8):1003-1008
在运行时刻,由于某些函数参数的取值 会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提 出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数.  相似文献
8.
基于Monad的纯函数式语言通道系统设计   总被引:1,自引:1,他引:0       下载免费PDF全文
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程同,从而给出了通道系统的语义。  相似文献
9.
Some combinatory logics are examined as object code for functional programs. The worst-case performances of certain algorithms for abstracting variables from combinatory expressions are analysed. A lower bound on the performance of any abstraction algorithm for a finite set of combinators is given. Using the combinators S, K, I, B, C, S′, B′, C′ and Y, the problem of finding an optimal abstraction algorithm is shown to be NP-complete. Some methods of improving abstraction algorithms for those combinators are examined, including “balancing” (for asymptotic performance) and “peephole” optimisations (for smaller cases).  相似文献
10.
This paper describes a program transformation technique for functional languages called removing partial parametrization. By transforming functional programs into equivalent ones without partial parametrization, each function is applied to the same number of arguments as its formal parameters. A new method of improving the efficiency of the implementation of functional language is to design the compiler according to the features of the program without partial parametrization. We have used this method in the environment-based implementation of the functional programming language LK. Programs run considerably faster and consume less memory space than traditional ones.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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