Clemens Grelck – författare

This volume presents the thoroughly revised and extended lecture notes of the first SusTrainable Summer School on Promoting Sustainability as a Fundamental Driver in Software Development Training and Education, which took place in Rijeka, Croatia, during July 4-8, 2022. The summer school was organized in the context of the Erasmus+ Strategic Partnership for Higher Education, funded by the European Union and coordinated by the University of Coimbra, Portugal. The focus of the event was on the education of software engineers to consider sustainability in all aspects of the software engineering process, with the aim of limiting the energy footprint of ICT infrastructures.The 11 papers included in the volume cover the following topics: green computing for the Internet of Things; verified software in Web-based virtual environments; sustainable programming in the Julia language; algorithms for sustainable system topologies; energy debt; the effects of feature reduction on machine learning model energy consumption; multicriteria decision methods for sustainable software development; using strong types in C++ for long-term code management; temporal-logic automated solutions for sustainable educational progress; energy-driven software engineering; and group based actor model middleware with UDP protocol.

This volume presents the thoroughly revised and extended lecture notes of the first SusTrainable Summer School on Promoting Sustainability as a Fundamental Driver in Software Development Training and Education, which took place in Rijeka, Croatia, during July 4-8, 2022. The summer school was organized in the context of the Erasmus+ Strategic Partnership for Higher Education, funded by the European Union and coordinated by the University of Coimbra, Portugal. The focus of the event was on the education of software engineers to consider sustainability in all aspects of the software engineering process, with the aim of limiting the energy footprint of ICT infrastructures.The 11 papers included in the volume cover the following topics: green computing for the Internet of Things; verified software in Web-based virtual environments; sustainable programming in the Julia language; algorithms for sustainable system topologies; energy debt; the effects of feature reduction on machine learning model energy consumption; multicriteria decision methods for sustainable software development; using strong types in C++ for long-term code management; temporal-logic automated solutions for sustainable educational progress; energy-driven software engineering; and group based actor model middleware with UDP protocol.

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B? astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland.

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B? astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland.

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages.