yet another meta-language for programming language processing
| Data(s) |
2002
|
|---|---|
| Resumo |
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. |
| Identificador | |
| Idioma(s) |
英语 |
| Fonte |
Chen Haiming; Dong, Yunmei.yet another meta-language for programming language processing,SIGPLAN Not,2002,37(6):28-37 |
| Palavras-Chave | #meta-language #programming language processing #recursive function #context-fzee language |
| Tipo |
期刊论文 |
