Yet Another Meta-Language for Programming Language Processing*
Saved in:
| Title: | Yet Another Meta-Language for Programming Language Processing* |
|---|---|
| Authors: | Haiming Chen, Yunmei Dong |
| Contributors: | The Pennsylvania State University CiteSeerX Archives |
| Source: | http://lcs.ios.ac.cn/~chm/papers/p28-chen.pdf. |
| Collection: | CiteSeerX |
| Description: | 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 |
| Document Type: | text |
| File Description: | application/pdf |
| Language: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.7998 |
| Availability: | 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. |
| Accession Number: | edsbas.7770FC12 |
| Database: | BASE |
Nájsť tento článok vo Web of Science Be the first to leave a comment!