Writing a well-functioning computer program is an exercise in following rules. Complying with the rules is made much easier when a program can verify its own compliance. This is why we write assertions: they express the rules we wish a program to follow in a way that allows the program to verify its compliance. But … Continue reading Balancing the Books