How We Reason About Procedural Programs

Explore the fundamental principles of reasoning about procedural programs in this 1 hour 32 minute conference talk from CppNow. Delve into the often-overlooked process of how programmers routinely and accurately reason about program behavior. Examine the underlying assumptions and discover the various ways these principles combine to enable reasoning about complex programs. Gain insights into the cognitive processes behind program comprehension and analysis. Access accompanying slides for visual reference and further study of the concepts presented.