Dag-Erling Smorgrav wrote:
>
[invariants, pre-conditions, post-conditions]
>
> As long as programs are written by humans, making human assumptions,
> humans will be required to document their assumptions.
Such as in modern structured languages. :-) (No, Perl and Python do
not qualify! :)
Anyway
Andrew Kenneth Milton wrote:
>
> | > You cannot test for the abscence of bugs.
> |
> | You can prove it, though.
>
> Only if you first prove the operating system and the compiler :-)
Nah. These you axiom away. :-)
--
Daniel C. Sobral(8-DCS)
d...@newsguy.com
d...@freebsd.
2 matches
Mail list logo
