meaning of metainformation
1. metainformation meta-data Meta-IV Vienna Development Method Specification Language METAL 1. Mega-Extensive Telecommunications Applications Language. BBS language for PRODOS 8 on Apple II. 2. The syntax-definition formalism of the Mentor system. Metal specifications are compiled to specifications for a scanner/parser generator such as Lex/Yacc. "Metal: A Formalism to Specify Formalisms", G. Kahn et al, Sci Comp Prog 3:151-188 1983. metalanguage 1. [theorem proving] A language in which proofs are manipulated and tactics are programmed, as opposed to the logic itself the "object language". The first ML was the metalanguage for the Edinburgh LCF proof assistant. 2. [logic] A language in which to discuss the truth of statements in another language. Metal Oxide Semiconductor
Related Words
