metalanguage
C2121
concept
A metalanguage is a language or formal system used to describe, analyze, or define another language (the object language), including its syntax, semantics, and rules.
All labels observed (10)
| Label | Occurrences |
|---|---|
| formal specification language | 11 |
| modeling language | 5 |
| metalanguage canonical | 4 |
| constraint language | 3 |
| extension language | 2 |
| metamodel | 2 |
| interface description language | 1 |
| meta language | 1 |
| meta-grammar formalism | 1 |
| metatheory | 1 |
Instances (30)
| Instance | Via concept surface |
|---|---|
| Temporal Logic of Actions | formal specification language |
|
Emacs Lisp (for GNU Emacs environment)
surface form:
Emacs Lisp
|
extension language |
| Backus–Naur Form | — |
| SHACL | constraint language |
| Schematron | constraint language |
| Web IDL Standard | interface description language |
| Unified Modeling Language | modeling language |
|
branching-time temporal logic CTL*
surface form:
CTL*
|
formal specification language |
| CTL* | formal specification language |
| BrainScript modeling language | modeling language |
| Van Wijngaarden grammars | meta-grammar formalism |
| Integral philosophy | metatheory |
| TLA | formal specification language |
| TLA+ | formal specification language |
| linear temporal logic | formal specification language |
| Augmented Backus–Naur Form | — |
| Meta Language | formal specification language |
| ShEx | constraint language |
| SysML | modeling language |
| Object Constraint Language | formal specification language |
| OCL | formal specification language |
| Decision Model and Notation | modeling language |
| Software & Systems Process Engineering Metamodel | metamodel |
| SPEM | metamodel |
| LCF | — |
| LOTOS | formal specification language |
| Isabelle/ML | extension language |
| LTL | formal specification language |
| SGML | — |
| EBML | meta language |