FUNCTION PROGRAMMING WITH ITERATION OPERATOR
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related
  • | | |
  • Comments
    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.

    Reference
    1 Backus John.Can programming be liberated from the Von Neumann style? A function style and its algebra of programs.Communications of the ACM,1978, 21(8)1613~641. 2 Guo Yike, Lok H C R.A classification scheme for declarative programming languages—sytax,semantics,and operational models.GMD—Studien, N8.182, August 1990. 3 Daflington John,Guo Yike,Pull Helen.A design space for iterating declarative hnguages.In:Declarative Programming,Sasbachwalden 1991,1992. 4 Darlington John,Guo Yike,Pull Helen.Introducing constraint functional logic programming.In:Declarative programming,Sasbachwalden 1991,1992. 5 Morris James H.Real programming in function languages.In: Function Programming And Its Applications,1982. 6 阉志欣.状态逻辑型程序设计语言.软件学报,1994,5(10):24~32. 7 Manna Z.Mathematical theory of computation.New York:McGRAW—HILL Inc.,1974.
    Related
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:3335
  • PDF: 4251
  • HTML: 0
  • Cited by: 0
History
  • Received:June 19,1995
You are the first2032648Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063