Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,777,017,204 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

metalanguage
(redirected from Metaformat)

    Also found in: Wikipedia, Hutchinson 0.01 sec.

metalanguage

A language used to describe another language.

metalanguage [′med·ə‚laŋ·gwij]
(computer science)
A programming language that uses symbols to represent the syntax of other programming languages, and is used chiefly to write compilers for those languages.
1.metalanguage - [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.metalanguage - [logic] A language in which to discuss the truth of statements in another language.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.