Name
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. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1145/571727.571733 | SIGPLAN Notices |
Keywords | Field | DocType |
formal specification acquisition,recursive function,programming language processing,programming language,algebraic specification formalism,context-free language,formal specification language,meta-language,meta language,context free language,formal specification | Specification language,Fifth-generation programming language,Programming language specification,Programming language,Computer science,Fourth-generation programming language,Object language,Very high-level programming language,Language Of Temporal Ordering Specification,First-generation programming language | Journal |
Volume | Issue | ISSN |
37 | 6 | 0362-1340 |
Citations | PageRank | References |
3 | 0.43 | 3 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Haiming Chen | 1 | 266 | 32.36 |
| Yunmei Dong | 2 | 4 | 1.13 |