General item icon

General item

Datatype ornamentation and the Dutch National Flag problem

Abstract:

In his seminal book A Discipline of Programming, one of the concluding remarks made by Dijkstra was:

[...] that it does not suffice to design a mechanism of which we hope that it will meet its requirements, but that we must design it in such a form that we can convince ourselves — and anyone else for that matter — that it will, indeed, meet its requirements. And, therefore, instead of first designing the program and then trying to prove its correctness, we develop cor...
Expand abstract

Actions


Access Document


Files:

Authors


Hsiang−Shang Ko More by this author
Publisher:
Transfer dissertation
Publication date:
2011-10-01
URN:
uuid:299ceb23-d8bd-46f9-8465-8dfce850093f
Local pid:
cs:5233

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP