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.
- X, 393 p. 116 illus., 39 illus. in color. online resource.
- Lecture Notes in Computer Science, 11950 1611-3349 ; .
- Lecture Notes in Computer Science, 11950 .
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.
9783031428333
10.1007/978-3-031-42833-3 doi
Computer programming. Software engineering. Compilers (Computer programs). Computer science. Programming Techniques. Software Engineering. Compilers and Interpreters. Computer Science Logic and Foundations of Programming.