Reasoning About the Rigor of Perl Programs
Gaps, Limits to Understanding, and Means to Ameliorate
Abstract
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 most capital or labor is almost entirely a function of error rate. Being able to quantify the conditions under which failures can be expected is thus of the utmost importance. 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.
Published
Issue
Section
Categories
License
Copyright (c) 2024 George Samuel Baugh Baugh (Author)

This work is licensed under a Creative Commons Attribution 4.0 International License.
This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.