Composability, Comprehensibility and Correctness of Working Software
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
| ISBN: | 9783031428326 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 393 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Porkoláb, Zoltán Zsók, Viktória |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 18.10.2023 |
| Untertitel: | 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers |
| Schlagworte: | code comprehension distributed computation patterns functional programming green computation internet of things refactoring software engineering software verification tunnel parsing virtualized network resources |