# Lecture - Imperative Programming HT23, VIII

> Source: https://ollybritton.com/notes/uni/prelims/ht23/ip/lectures/viii/ · Updated: 2023-02-06 · Tags: uni, lecture

- [Notes - Imperative Programming HT23, Invariants](https://ollybritton.com/notes/uni/prelims/ht23/ip/notes/invariants/)
- [Notes - Imperative Programming HT23, Maximum segment sum](https://ollybritton.com/notes/uni/prelims/ht23/daa/notes/maximum-segment-sum/)

---
Olly Britton — https://ollybritton.com. Machine-readable index: https://ollybritton.com/llms.txt