Yet another meta-language for programming language processing

Authors:
Haiming Chen;Yunmei Dong
Affiliations:
Chinese Academy of Sciencesm Beijing, China;Chinese Academy of Sciencesm Beijing, China
Venue:
ACM SIGPLAN Notices
Year:
2002

Citing 1
Cited 3

The Theory of Parsing, Translation, and Compiling

The Theory of Parsing, Translation, and Compiling

Practical type checking of functions defined on context-free languages

Journal of Computer Science and Technology
A MetaL for C and Pascal

ACM SIGCSE Bulletin
Towards practical computable functions on context-free languages

TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation

Quantified Score

Hi-index	0.00

Visualization

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.