Contracts for Getting More Programs Less Wrong

This course aims to teach learners about the concept of contracts in programming, which allow for specifying preconditions, postconditions, and invariants of functions and objects in code. By using contracts, learners will be able to check program conditions during runtime and improve program correctness. The course covers the Java Modelling Language (JML) and C0, demonstrating how contracts can be used to teach computer science students how to write correct algorithms and tests. The teaching method involves showcasing real-world examples and discussing how contracts can be applied in both imperative and object-oriented programming. The course is intended for individuals interested in improving their programming skills and learning how to write more reliable and efficient code.