Hacker News Reader

Can anyone give me examples of what trivializing the correspondence between the program and the process looks like?

* Tests

* Types (Classes, Structures, ...)

* State management

* Documentation

* Formal models