Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
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.
QA76.6-76.66
005.11
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.
QA76.6-76.66
005.11