> I was being sarcastic about the portability of so much contemporary C code. > You can't just compile it, even in an an ANSI/POSIX environment.
Philosophically, I think that we're chasing the wrong wild goose. Computer Scientists (I've been giving Dijkstra some attention, of late) ought to focus on how to get programmers to express models and algorithms accurately and let engineers figure how to translate these into Turing machines, efficiently. Instead, we let engineers dictate to sientists how to encrypt problems that are not nails so that hammers can deal with them. Lucio.
