Watch a conference talk from NDC TechTown that delves into the fundamental concept of local reasoning in C++ programming. Explore how to analyze and verify code correctness within defined units like functions or classes without needing complete contextual understanding. Learn valuable principles, conventions, and rules for developing better interfaces and writing more maintainable code through local reasoning techniques. Master the ability to understand and validate code segments independently, enhancing overall software development practices and code quality.
Overview
Syllabus
Locknote: Local Reasoning in C++ - Sean Parent - NDC TechTown 2024
Taught by
NDC Conferences