VL Specification

Grammar-like formalisms

    constraint multiset grammars (CMGs)

        x ::=X1,...,Xn where exits X1’,...,Xn’ where C then vector(v) = E