> They're just acting as agents that derive the logical consequences of the code. In a particularly pedantic, uptight, and sometimes un-helpful way, yes. Comp

> They're just acting as agents that derive the logical consequences of the code. In a particularly pedantic, uptight, and sometimes un-helpful way, yes. Compilers don't have to be designed this way; in fact it is a relatively recent development in the history of such tools.