| 摘要: |
| FFP语言是这样的一种纯粹的泛函程序设计语言,它奠基于严格的数学理论基础之上,是归约语言L4的一个子类[2,3]。本文将面向对象编程(OOP)体裁相当简洁地嵌入到FFP-AST系统中。这样,一方面,揭示了面向对象编程体裁(OOPP)与泛函编程体裁(FPP)之间的近亲关系;另一方面,为OOPP奠定了 FFP-AST语义描述。本文实质上也提供了一种“加于FFP语言之上的兼备FPP和OOPP的编程语言”。贯穿文中的方法论归结为:紧密联系和使用自动机这一概念。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:国家高技术研究发展计划基金的资助 |
|
| OBJECT-ORIENTED PROGRAMMING PARADIGM EMBEDED IN FFP-AST SYSTEM |
|
Jiang Mingde,Ju Yan
|
| Abstract: |
| Basing upon a strict mathematical theory, the programming language FFP[1] is a purely functional programming language and a subset of the reduction language L4[2,3]. In this paper the object-oriented programming (OOP) paradigm is considerably succinctly embeded in the FFP-AST system. By this means, on the one hand, it- is revealed that the object-oriented programming paradigm (OOPP) and the functional programming paradigm (FPP) are closely related. On the other hand, the semantics of OOPP described by the FFP-AST is settled.In essence,a programming language is proposed,being possessed of both FPP and OOPP.To put it in a nutshell,the methodology penetrating the work in this paper is the idea of closely integrting the automation with practice. |
| Key words: |
