Function definition language FDL and its implementation

被引：3

作者：

Chen H. ^{[1
]}

机构：

[1] Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

来源：

Journal of Computer Science and Technology | 1999年 / 14卷 / 4期

关键词：

programming language; recursive function; context-free language; interpreter; parsing; formal specification;

D O I：

10.1007/BF02948745

中图分类号：

学科分类号：

摘要：

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

引用

页码：414 / 421

页数：7

共 12 条

[1]

Yunmei, D., (1995) Collection of SAQ Reports No.1-7, , Technical Report ISCAS-LCS-95-09, Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences, August

[2]

Yunmei, D., (1996) Collection of SAQ Reports No.8-16, , Technical Report ISCAS-LCS-96-1, Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences, March

[3]

Yunmei, D., MLIRF method for specification acquisition and reuse (1996) Proc. 9th National Conf. China Computer Federation, pp. 21-27. , May

[4]

Sollomaa, A., (1973) Formal Languages, , Academic Press, London

[5]

Field, A.J., Harrison, P.G., (1988) Functional Programming, , Addison-Wesley

[6]

Koopman, P.W.M., Van Eekelen, M., Plasmeijer, M.J., Operational machine specification in a functional programming language (1995) Software-Practice and Experience, 25 (5), pp. 463-499. , May

[7]

Yunmei, D., Recursive Functions Defined on Context-free Languages. (in Chinese), , 1

[8]

Aho, A.V., Ullman, J.D., (1972) The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing, 1. , Prentice-Hall, Inc

[9]

Paakki, J., Attribute grammar paradigms - A high-level methodology in language implementation (1995) ACM Computing Surveys, 27 (2), pp. 196-255. , June

[10]

Vogt, H., Higher order attribute grammars (1989) Proc. ACM SIGPLAN'89 Conf. PLDI, pp. 131-145

← 1 2 →