LADE

Definition

LADE (Language Definition Environment) ist eine Entwicklungsumgebung zur formalen Definition und Beschreibung von Programmiersprachen. Sie stellt Werkzeuge bereit, mit denen Syntax und Semantik einer Sprache systematisch spezifiziert werden können. LADE wird vor allem im akademischen Bereich und bei der Entwicklung neuer Sprachen eingesetzt.