TY - BOOK ID - 126343834 TI - Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers AU - Porkoláb, Zoltán. AU - Zsók, Viktória. PY - 2023 SN - 3031428331 3031428323 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer programming. KW - Software engineering. KW - Compilers (Computer programs). KW - Computer science. KW - Programming Techniques. KW - Software Engineering. KW - Compilers and Interpreters. KW - Computer Science Logic and Foundations of Programming. UR - https://www.unicat.be/uniCat?func=search&query=sysid:126343834 AB - 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. ER -