yet another meta-language for programming language processing
文献类型：期刊论文
| 作者 | Chen Haiming ; Dong, Yunmei |
| 刊名 | SIGPLAN Not
 |
| 出版日期 | 2002 |
| 卷号 | 37期号:6页码:28-37 |
| 关键词 | meta-language programming language processing recursive function context-fzee language |
| 中文摘要 | 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 |
| 语种 | 英语 |
| WOS记录号 | WOS:000177645000003 |
| 公开日期 | 2010-07-22 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。