Compilers aspire to be something like a total function. Define you inputs and outputs and you are "forced" into a correct implementation. real software isn't l

Compilers aspire to be something like a total function. Define you inputs and outputs and you are "forced" into a correct implementation. real software isn't like that. I interpret "small" to mean localized in idea space.