EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • | | |
  • Comments
    Abstract:

    Programming language FOPL is a hybrid language which supports functional programming style and object-oriented programming style. In this paper, the type concepts of FOPL are presented. Also, the rules for purity judgement of expressions, typing expressions and equivalence judgement of expressions are discussed. These rules describe the semantics of FOPL on equational logic.

    Reference
    1 梅宏.函数式面向对象程序设计语言FoPL——设计和实现[博士论文].上海交通大学,1992. 2 Danforth S,Tomlinson C.Type theories and object—oriented programming.ACM Computing Surveys,1988,20 (1). 3 Backus J.Can programming be liberated from the yon neumam style? a functional style and its algebra of pro- grams.Communication of ACM,1978,21(8). 4 Pascoe G A.Elements of object—oriented programming.BYTE,1986. 5 Snyder A.Encapsulation and inheritance in object—oriented programming languages.ACM OOPSLA‘86,1986. 6 Goguen J,Meseguer J.Unifying functional,object—oriented and relational programming with logical semantics. SRI INTERNATlONAL,1987. 7 EATCS BULLETIN,No.40,1990. 8 Donahue J,Demers A.Data types are values.ACM Transactions on Programming Languages and Systems,1985, 7(3). 9 Demers A,Donahue J.Making variables abstract,an equational theory for russell.ACM POPL'83,1983.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

梅宏,孙永强.合成语言FOPL基于方程逻辑的语义.软件学报,1995,6(7):407-415

Copy
Share
Article Metrics
  • Abstract:3713
  • PDF: 4162
  • HTML: 0
  • Cited by: 0
History
  • Received:March 26,1993
  • Revised:February 21,1994
You are the first2038484Visitors
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