Provable Code
Pluralsight
Course Summary
Tools and patterns for using mathematics to write more reliable and readable software
-
+
Course Description
Bertrand Meyer defined Design by Contract as a system of documenting and proving the responsibilities of a software system. Today, we have tools built into our compilers and type systems that help us to prove those assertions. This course will introduce you to some of those tools, define systems of logic for reasoning about code, and recommend patterns for building provable software.
-
+
Course Syllabus
Predicate Calculus- 35m 27s
—Introduction 2m 51s
—Predicates and First Order Logic 5m 15s
—Inference 12m 17s
—Induction 8m 27s
—Axioms 6m 37sDesign by Contract- 1h 17m
—Introduction 1m 15s
—Cache and Query 6m 44s
—Preconditions 4m 28s
—Eliminating Preconditions 6m 23s
—Postconditions and Invariants 9m 9s
—Strict Preconditions 10m 8s
—Strength 11m 4s
—Inheritance 8m 12s
—Correctness 4m 24s
—Inference 14m 30s
—Summary 1m 0sCode Contracts- 1h 3mPatterns- 54m 3sDegrees of Freedom- 57m 26sImmutability- 1h 3m
This course is listed under
Development & Implementations
Community
Related Posts: