yet another meta-language for programming language processing

	yet another meta-language for programming language processing
	Chen Haiming; Dong, Yunmei
	2002
发表期刊	SIGPLAN Not
卷号	37 期号:6 页码:28-37
摘要	The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.
收录类别	sci
关键词	Meta-language Programming Language Processing Recursive Function Context-fzee Language
部门归属	计算机科学国家重点实验室
语种	英语
WOS记录号	WOS:000177645000003
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/2857
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen Haiming,Dong, Yunmei. yet another meta-language for programming language processing[J]. SIGPLAN Not,2002,37(6):28-37.
APA	Chen Haiming,&Dong, Yunmei.(2002).yet another meta-language for programming language processing.SIGPLAN Not,37(6),28-37.
MLA	Chen Haiming,et al."yet another meta-language for programming language processing".SIGPLAN Not 37.6(2002):28-37.