Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:essay
|
| gptkbp:author |
gptkb:Edsger_W._Dijkstra
|
| gptkbp:influenced |
Software engineering
Program correctness |
| gptkbp:language |
English
|
| gptkbp:notableFor |
Illustrating program derivation
|
| gptkbp:publicationYear |
1975
|
| gptkbp:publishedIn |
gptkb:Acta_Informatica
|
| gptkbp:subject |
Formal methods
Programming methodology |
| gptkbp:bfsParent |
gptkb:ICP_Orchestra
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Two Programs
|