首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   5篇
  自动化技术   6篇
  2016年   1篇
  1996年   4篇
  1994年   1篇
排序方式: 共有6条查询结果,搜索用时 31 毫秒
1
1.
状态逻辑型程序设计语言   总被引:2,自引:2,他引:0       下载免费PDF全文
阎志欣 《软件学报》1994,5(10):24-32
本文提出了一种新的纯逻辑式子句型程序设计语言.文中给出了语言的语法,非形式语义,子句的过程解释和基于约束归结的推理系统.对该语言来说,程序包含三类变量:输入变量,输出变量和用于控制机器资源的程序变量;被程序定义的函数符号可用于构造项或子项,并且还可用作为谓词符号;不需要低效的最广合一.由于这些因素,一个子句集本身隐含了顺序,分支,迭代和递归多种控制结构使得容易构造高效的定理证明系统.这种语言将是一种有坚实理论基础的,高效的,实际有用的高级确定性语言.  相似文献
2.
阎志欣  黄盛萍 《软件学报》1996,7(Z1):232-238
带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程序设计语言.该语言既可描述递归,又可描述迭代.本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数就可计算部分递归函数.这就等于证明任何图灵可计算的部分函数.都可用有坚实数学基础的部分迭代函数高效地进行计算.文中定义了复合算子、原始迭代和最小化迭代算子及部分迭代函数;证明了部分递归函数是部分迭代函数可计算的.  相似文献
3.
阎志欣 《软件学报》1996,7(Z1):239-248
本文提出了程序设计语言的一种新的计算模型,带迭代算子的函数式模型.文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明.该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解、证明及构造高技的执行系统.褶信该类语言是一种有坚实理论基础、高教的、实际有用的,高级确定性程序设计语言.  相似文献
4.
阎志欣 《软件学报》1996,7(Z1):338-347
状态逻辑型程序设计语言是一种有坚实理论基础,既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言.递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数.这就等于证明了,任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算.  相似文献
5.
阎志欣  黄冬泉 《软件学报》1996,7(Z1):348-357
算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言.如何编绎该类语言是一个应该研究的重要问题.过程式语言到机器代码的编绎问题已被解决,因此编绎的关键是由算子程序向过程的转换.本文用模式匹配法,给出了算子式语言到while程序的变换语义.给出了基本变换规则集,证明了该变换规则集的完备性和一致性,为该类语言到过程语言的翻译提供了理论和技术基础.  相似文献
6.
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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