Institutional Repository
| yet another meta-language for programming language processing | |
| Chen Haiming; Dong, Yunmei | |
| 2002 | |
| Source | SIGPLAN Not
 |
| Volume | 37Issue:6Pages:28-37 |
| English Abstract | 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. |
| Indexed Type | sci |
| Keyword | Meta-language Programming Language Processing Recursive Function Context-fzee Language |
| Department | 计算机科学国家重点实验室 |
| Language | 英语 |
| WOS ID | WOS:000177645000003 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2857 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 2002370628.pdf（699KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment