Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11950)
Informatique et Internet
Audio avec voix de synthèse, Braille automatisé
Résumé
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.