| dc.description.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 from the meeting in 2018, the 35th workshop in the series, having taken place May 2nd to 4th. Besides that, a few papers presented 2017 and 2016 are additionally included in these proceedings. This year, there were presentation sessions covering the topics testing & verification, Java, domain-specific languages, programm structures, and Curry. Besides the traditional hike into the surroundings of Bad Honnef, this year climbing the Drachenfels or “Dragon’s Stone”, a specific cultural highlight of 2018 was the premiere of the 8th Symphony (for synthetic orchestra), op. 42a, by Markus Lepper, by replaying the version available publically on the Internet. 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. | en_US |