Esop 88: 2nd European Symposium on Programming (Lecture Notes in Computer Science) - Softcover

Inhaltsangabe

Der Band enthält die 23 Papiere, die für die Präsentation bei der ESOP '88 Conference, Nancy 1988 ausgewählt wurden. Das Thema der ESOP-Konferenzen ist das Design, Spezifikation und Umsetzung von Programmiersprachen und Systemen. Besonderer Wert wird auf Arbeit gelegt, bei der ein umgesetztes System ein wichtiges Konzept oder formelles Modell der Programmierung verkörpert, so dass seine Nützlichkeit bewiesen wird. Unter den fünf Abschnitten des Bandes enthält der über die Sprachumsetzung die meisten Papiere. Hier wird ein eher breites Spektrum an Aspekten abgedeckt, von Sprachimplementierungsproblemen bei parallelen Architekturen und Optimierung funktionaler Programme bis hin zu neuen Konzepten für Programmierumgebungen. Ein weiterer großer Abschnitt besteht aus Papieren im Bereich algebraischer Spezifikation und Typenkonzepte. Die Papiere in diesem Abschnitt sind Themen wie Polymorphismus, Untertypen und Umsetzungsvorschriften und Wiederverwendung für algebraische Spezifikationen gewidmet. Zwei weitere Abschnitte widmen sich neuen Sprachkonzepten und neuartigen Ansätzen für die Programmentwicklung und -überprüfung.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.