Composability, Comprehensibility and Correctness of Working Software  8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers /  [electronic resource] : 
edited by Zoltán Porkoláb, Viktória Zsók. 
 - 1st ed. 2023. 
 - Cham :  Springer International Publishing :  Imprint: Springer,  2023. 
 - X, 393 p. 116 illus., 39 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  11950  1611-3349 ; .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031428333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Software engineering.<br/>Compilers (Computer programs).<br/>Computer science.<br/>Programming Techniques.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>Dewey Class. No.: </label>005.11