Reasoning About the Rigor of Perl Programs

Gaps, Limits to Understanding, and Means to Ameliorate

Authors

  • George Samuel Baugh Baugh Troglodyne LLC Author

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

11/17/2024

Issue

Section

Short paper ( 2-9 pages + References)

Categories