NEEDED PARALLEL-OUTERMOST REDUCTION STRATEGY
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • | | |
  • Comments
    Reference
    1 O'Donnell M J.Equational logic as a programming language.MIT Press.1985. 2 Klop J W,Middeldrop A.Sequentiality in orthogonal term rewriting systems.JSC,1991,12:161~195. 3 Peyton Jones,S.L.The implementation of functional programming languages.Prentice Hall,1987. 4 Sekar R C,Ramakrishnan I V.Programming in equational logic:beyond strong sequentiality.Proc.IEEE Symp. on Logic in Computer Science, 1990.230~241. 5 沈理.重写系统中快速规范化技术的研究与实现[硕士论文].上海交通大学. 1996. 6 沈理,林凯,孙永强.平行最外模式匹配.软件学报,1996,7(增刊):329~337. 7 林凯,孙永强.基于重写方法的程序开发系统的设计和实现.计算机学报,1996,19(9):641~648.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

沈理,孙永强.必要平行最外归约策略.软件学报,1997,8(10):760-767

Copy
Share
Article Metrics
  • Abstract:3733
  • PDF: 4854
  • HTML: 0
  • Cited by: 0
History
  • Revised:November 19,1996
You are the first2038526Visitors
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