Widening the bottleneck of software development is a central problem of the current computer science. The present volume contains papers of a conference which has been focussed on mathematical methods for design and synthesis of programs. The main topics are abstract data type theory (algebraic semantics) and inductive inference. The common idea of the present approaches is to invoke deeper mathematical results for advantages in automatic or interactive program synthesis.
Ein zentrales Problem der Rechentechnik besteht gegenwärtig in der Erweiterung des Nadelöhrs der Software-Entwicklung. Der vorliegende Band enthält Beiträge einer Tagung, die Sich auf mathematische Methoden für den Entwurf und die Synthese von Programmen konzentrierte. Hauptgebiete Sind die Theorie abstrakter Datentypen (algebraische Semantik) und die induktive Inferenz. Die gemeinsame Idee der vorliegenden Ansätze besteht darin, tieferliegende mathematische Ergebnisse für Fortschritte auf dem Gebiet der automatischen oder interaktiven Programmsynthese einzusetzen.