**VMTL**

[[vmtl:semantics|Operational Semantics]]

[[vmtl:annotations|Annotation Syntax]]

[[vmtl:example|Examples]]

[[vmtl:evaluation|Empirical Evaluation]]

**VMQL**

**VMCL**