带迭代算子的函数式程序设计*
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到南京大学计算机软件研究所基金和航空科学技术基金资助.


FUNCTION PROGRAMMING WITH ITERATION OPERATOR
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文提出了程序设计语言的一种新的计算模型,带迭代算子的函数式模型.文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明.该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解、证明及构造高技的执行系统.褶信该类语言是一种有坚实理论基础、高教的、实际有用的,高级确定性程序设计语言.

    Abstract:

    A new computation model of programming language,function model with iteration operator was presented.The syntax of language based on the model,the set of computation rules and a proof of determinism were given.In this language,sequence is expressed by composition of expressions,branch by condition expressions and iteration by iterative expressions.such that its programs are based on mathematical semantic founda-tion,easy to understand,prove its correctness and constitute efficient execution system. The authors believe that this language is an efficient,useful and practical,high—level de- terministic programming language with sound theoretical foundation.

    参考文献
    相似文献
    引证文献
引用本文

阎志欣.带迭代算子的函数式程序设计*.软件学报,1996,7(zk):239-248

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1995-06-19
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号