VMTL

Operational Semantics

Annotation Syntax

Examples

Empirical Evaluation

VMQL

VMCL