daniel.a.joyce at worldnet.att.net
Mon Sep 29 15:28:32 UTC 2003
> Additionally, the functional languages guys do a LOT along these lines.
> Anyone interested in this should search for "proof carrying code".
> Note, though, that these systems are rarely automatic. The more you
> want to know statically, the more, in general, the programmer must help
Worse case, you have "assert" in C, or the programming by contract stuff as
seen in Eiffel. These only work at runtime though...
But yes, other languages have much more powerful tools.
The Meek shall inherit the Earth,
for the Brave are among the Stars!
More information about the Squeak-dev