Writing correct code, part 1: whatever happened to invariants?reprog.wordpress.com49 pointsMikeTaylor16 years ago