About: Program derivation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.cs.ox.ac.uk/publications/books/PfS/ http://www.cs.toronto.edu/~hehner/aPToP/
dbo:wikiPageWikiLink	dbr:Proof-carrying_code dbr:Automatic_programming dbr:Mathematical_proof dbr:Program_synthesis dbr:Eric_Hehner dbr:Design_by_contract dbr:Carroll_Morgan_(computer_scientist) dbr:Edsger_W._Dijkstra dbr:Computer_science dbr:Correctness_(computer_science) dbr:Hoare_logic dbr:Formal_verification dbc:Program_derivation dbr:Bird-Meertens_Formalism dbr:Program_refinement dbr:Program_specification
dbp:wikiPageUsesTemplate	dbt:ISBN
dct:subject	dbc:Program_derivation
gold:hypernym	dbr:Derivation
rdfs:label	Program derivation (en) プログラム導出 (ja)
owl:sameAs	freebase:Program derivation wikidata:Program derivation dbpedia-ja:Program derivation dbpedia-global:Program derivation
prov:wasDerivedFrom	wikipedia-en:Program_derivation?oldid=1162120704&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Program_derivation
is dbo:wikiPageWikiLink of	dbr:Proof-carrying_code dbr:Program_synthesis dbr:Xmonad dbr:Design_by_contract dbr:Correctness_(computer_science) dbr:Formal_verification dbr:Bird–Meertens_formalism
is foaf:primaryTopic of	wikipedia-en:Program_derivation

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International