Vienna Definition Language, „Wiener Definitionssprache“, Notation, mit der sich die Semantik von Programmiersprachen beschreiben lässt.