Tagungsband des 36ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". Proc. of the 36th Annual Meeting of the GI Working Group "Programming Languages and Computing Concepts"

Abstract

The GI Working Group“Programming Languages and Computing Concepts” arranges since 1984 each spring a workshop in the the “Physikzentrum Bad Honnef” (a convention centre of the German Physical Society). The meeting serves to foster exchange of ideas and experience, discussions, and to build up new connections or cultivate existent ones. The technical program of the workshop offers a forum for finished work as well as work-in-progress, in the form of presentations and demonstrations. The topics include items from the following (non-exclusive) list: – languages, language paradigms – correctness of design and implementation – tools – software- and hardware architectures – specification and design – validation and verification – implementation and integration – safety and security – embedded systems – hardware-close programming This report collects contributions or presentation abstracts from the meeting in 2019, the 36th workshop in the series, which took place 6th–8th. May. Besides that, a few papers presented in earlier years are additionally included in these proceedings. This year, there were presentation sessions covering the topics such as logic programming, type systems, software technology, object-oriented languages and their extensions, and formal models, as well as one session reserved for demos. Thanks to all participants for their presentations, papers, and discussions, that make the annual workshop an interesting and inspiring event. Special thanks also and in particular to the staff and employees at the hosting convention centre, the Physikzentrums Bad Honnef, who took care of the arrangment and, with their support and assistance, contributed, as always, to an inspiring and enjoyable atmosphere. Jens Knoop, Martin Steffen, and Baltasar Trancón y Widemann, September 2019

Seit 1984 veranstaltet die GI-Fachgruppe “Programmiersprachen und Rechenkonzepte” regelmäßig im Frühjahr ein Arbeitstreffen im Physikzentrum Bad Honnef. Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte. In diesem jährlichen Forum werden Vorträge und Demonstrationen zu sowohl bereits abgeschlossenen als auch noch laufenden Arbeiten vorgestellt, unter anderem zu Themen wie – Sprachen, Sprachparadigmen – Korrektheit von Entwurf und Implementierung – Werkzeuge – Software-/Hardware-Architekturen – Spezifikation, Entwurf – Validierung, Verifikation – Implementierung, Integration – Sicherheit (Safety und Security) – eingebettete Systeme – hardware-nahe Programmierung Dieser Technische Bericht ist dem Treffen des Jahres 2019 gewidmet, dem 36ten Workshop aus der Reihe, welcher vom 6. bis 8. Mai stattfand. Daneben wurden einzelne Beiträge aus vorangegangenen Jahren mitaufgenommen. Diese Jahr gab es speziell Sitzungen mit Vorträgen zu den Themen Logikprogrammiering, Typsysteme, Erweiterung objectkorientierter Sprachen, Softwaretechnik und formale Modelle. Daneben stand auch eine Sitzung mit Demos auf dem Programm. Allen Teilnehmenden gilt Dank, daß sie durch ihre Vorträge, Papiere und Diskussion den jährlichen Workshop zu einem interessanten und anregenden Ereignis machen. Besonderer Dank auch den Mitarbeitern und Mitarbeiterinnen des Physikzentrums Bad Honnef, die, wie immer, durch ihre umfassende Betreuung f¨ur eine angenehme und anregende Atmosphäre gesorgt haben. Jens Knoop, Martin Steffen und Baltasar Trancón y Widemann, September 2019.