ANTLR |
|
The grammar language of the ANTLR technology |
ASL |
✔ |
A simple language for algebraic specification |
BAL |
✔ |
A trivial assembly language |
BCL |
✔ |
A format for CSTs for parsing with BGL grammars |
BFPL |
✔ |
A trivial first-order functional programming language |
BGL |
✔ |
A BNF-like notation for context-free grammars |
BIPL |
✔ |
A trivial imperative programming language |
BL |
✔ |
A trivial language for buddy relationships |
BML |
✔ |
A trivial machine language |
BNL |
✔ |
A trivial language for binary numbers |
BOL |
✔ |
A subset of OCL |
BSL |
✔ |
A language for abstract syntax definition |
BSTL |
✔ |
A trivial language for coupled transformations |
BTL |
✔ |
A trivial expression language |
DCG |
|
A grammar notation based on logic programming |
DDL |
✔ |
A SQL DDL-like data definition language |
DGL |
✔ |
A language for describing graphs |
DOT |
|
The input language of the Graphviz tool |
EFPL |
✔ |
A trivial first-order functional programming language |
EGL |
✔ |
A EBNF-like notation for context-free grammars |
EGTL |
✔ |
A transformation language for grammars |
EIPL |
✔ |
A trivial imperative programming language |
EL |
✔ |
A trivial expression language |
ESL |
✔ |
A language for abstract syntax definition |
FL |
✔ |
A trivial language for family modeling |
FSML |
✔ |
A domain-specific language for finite state machines |
HTML |
|
The standard markup language HTML |
Haskell |
|
The functional programming language Haskell |
Hinzu |
✔ |
An annotation language used in the YAS repository |
JSON |
|
The well-known JSON format for data exchange |
Java |
✔ |
The well-known OO programming language Java |
LAL |
✔ |
A logic-based megamodeling language used in YAS |
MLDF |
✔ |
A domain-specific documentation format |
MMDL |
✔ |
A format for metamodel-based term differences |
MML |
✔ |
A basic metamodeling language |
MMTL |
✔ |
A trivial transformation language for metamodels |
Markdown |
|
A markup-based documentation language |
None |
✔ |
A proxy for the lack of a (specified) language |
PPL |
✔ |
A language for pretty printing |
Prolog |
|
A logic programming language |
Python |
|
A multi-paradigm programming language |
TDL |
✔ |
A representation format for term differences |
TLL |
✔ |
An applied, typed lambda calculus |
Term |
✔ |
Prolog terms as a representation format used in YAS |
Text |
✔ |
Text as a representation format used in YAS |
ULL |
✔ |
An applied, untyped lambda calculus |
Ueber |
✔ |
A declarative megamodeling language used in YAS |
XML |
|
The markup-based interchange format XML |