Vienna Definition Language is an example of language definition facility based on

• A. Interpretative semantics
• B. Mathematical semantics
• C. Axiomatic semantics
• D. Translational semantics