function definition language fdl and its implementation

	function definition language fdl and its implementation
	Chen Haiming
	2001
发表期刊	Journal of Computer Science and Technology
卷号	14 期号:4 页码:414-421
摘要	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.
收录类别	cscd,ei
关键词	Programming Language Recursive Function Context-free Language Interpreter Parsing Formal Specification
部门归属	计算机科学国家重点实验室
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/2855
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen Haiming. function definition language fdl and its implementation[J]. Journal of Computer Science and Technology,2001,14(4):414-421.
APA	Chen Haiming.(2001).function definition language fdl and its implementation.Journal of Computer Science and Technology,14(4),414-421.
MLA	Chen Haiming."function definition language fdl and its implementation".Journal of Computer Science and Technology 14.4(2001):414-421.