Darren New wrote:
But the same is true of an algorithm expressed in Python. LOTOS and ACT.1 are the only programming languages *I* have seen that are fully formalized. Even stuff like Estelle only formalizes the order of execution of routines, without formalizing stuff like how integers work or what "IF" means.
Or, even worse, what *assignment* means. Assignment is something we all take for granted yet has very shaky mathematical foundations.
-a -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
