Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Autor*in
Zoltán Porkoláb
Themen in »Composability, Comprehensibility and Correctness of Working Software«
internet of things green computation software engineering software verification functional programming virtualized network resources code comprehension distributed computation patterns tunnel parsing refactoring code quality metrics energy efficiency in algorithms