Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
essay
|
gptkbp:author |
gptkb:Edsger_W._Dijkstra
|
https://www.w3.org/2000/01/rdf-schema#label |
Two Programs
|
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 |
7
|