[linux] programmeer prrogramma

[paai]

On 17-01-18 22:00, Johan Wevers wrote:
> On 15-01-2018 16:39, Daniel C. von Asmuth wrote:
>
>> Om je programma te verifiëren moet je de enigszins ingewikkelde
>> bewijsregels van Hoare en Dijkstra leren, die gebaseerd zijn op
>> predicatentransformaties.
> Alsof iemand dat ooit gebruikt buiten de universiteit. Ik werk al bijna
> 20 jaar als ontwikkelaar en ben het nog nooit ergens tegengekomen. En al
> die bewijsregels zijn leuk als je de input precies kunt definiëren, iets
> dat in de praktijk ook zelden het geval is.
>

Kijkaan, meneer Wevers. Nog zo'n stem uit het verleden. Alles goed met je?



-- 
Dr. J.J. Paijmans
Houwenberg 2A
5985PE Grashoek (L)
http://paijmans.net v.a. Stettin