Formale Sprachen sind von Anfang an die entscheidende Schnittstelle zwischen Mensch und Computer gewesen. Ihre Gestaltung beeinflußt Effizienz und Qualität der Softwareentwicklung. Der Kern der Programmierung ist es, Konzepte des Anwendungsbereichs möglichst angemessen auf diejenigen der...