Yet Another Meta-Language for Programming Language Processing*
Uloženo v:
| Název: | Yet Another Meta-Language for Programming Language Processing* |
|---|---|
| Autoři: | Haiming Chen, Yunmei Dong |
| Přispěvatelé: | The Pennsylvania State University CiteSeerX Archives |
| Zdroj: | http://lcs.ios.ac.cn/~chm/papers/p28-chen.pdf. |
| Sbírka: | CiteSeerX |
| Popis: | 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 met~language, and compares it with ASF--I-SDF, an algebraic specification formalism that can also be used to programming languages. Key words: meta-language, programming language processing, recursive function, context-fzee language. 1 |
| Druh dokumentu: | text |
| Popis souboru: | application/pdf |
| Jazyk: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.7998 |
| Dostupnost: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.7998 http://lcs.ios.ac.cn/~chm/papers/p28-chen.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Přístupové číslo: | edsbas.7770FC12 |
| Databáze: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | 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 met~language, and compares it with ASF--I-SDF, an algebraic specification formalism that can also be used to programming languages. Key words: meta-language, programming language processing, recursive function, context-fzee language. 1 |
|---|