Yet another meta-language for programming language processing
Haiming Chen, Yunmei Dong · ACM SIGPLAN Notices · 2002
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.