37 resultados para meta-scheduling
em Chinese Academy of Sciences Institutional Repositories Grid Portal
Elevated CO2 stimulates net accumulations of carbon and nitrogen in land ecosystems: A meta-analysis
Resumo:
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.
