Reasoning About the Rigor of Perl Programs - George Baugh - TPRC 2024
#tprc2024 #perl #raku #programming
While some tools exist to reason about the correctness of a program and its fitness for particular purposes, there remain a number of unexamined approaches which will likely prove fruitful to explore.
The productivity of any piece of capital or laborer is entirely a function of its error rate; being able to quantify the conditions under which failures can be expected is thus of the utmost importance.
In the era of testsuite generation via large language models, this is of even greater concern.
I will lay out what is currently available, how that fits into a framework for reasoning about programs in a rigorous fashion, and identify places where our ability to reason could be improved via tooling.
Prototypes of said tools will also be demonstrated in Perl.
Смотрите видео Reasoning About the Rigor of Perl Programs - George Baugh - TPRC 2024 онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь The Perl and Raku Conference - Greenville, SC 2025 27 Июнь 2024, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 27 раз и оно понравилось 1 людям.