About: Predicate transformer semantics

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

Reformulation of Floyd-Hoare logic

Property	Value
dbo:description	extensió de la lògica de Floyd-Hoare (ca) reformulation of Floyd-Hoare logic (en)
dbo:wikiPageExternalLink	https://archive.org/details/mathematicaltheo0000bakk https://archive.org/details/scienceofprogram0000grie https://archive.org/details/disciplineofprog0000dijk https://books.google.com/books%3Fid=cCbjBwAAQBAJ
dbo:wikiPageWikiLink	dbr:Axiomatic_semantics dbr:Predicate_(mathematical_logic) dbr:Automated_reasoning dbr:Imperative_programming dbr:Evaluation_strategy dbr:Monad_(functional_programming) dbr:Satisfiability_modulo_theories dbr:Guarded_Command_Language dbr:Separation_logic dbc:Formal_methods dbr:First-order_logic dbr:Niklaus_Wirth dbr:Type_theory dbr:Free_variables_and_bound_variables dbr:Formal_Aspects_of_Computing dbr:Deductive_reasoning dbr:Deductive_system dbr:Gödel's_completeness_theorem dbr:Cryptography dbr:Precondition dbr:Denotational_semantics dbr:Algorithm dbc:Edsger_W._Dijkstra dbr:Edsger_W._Dijkstra dbr:Coq dbr:B-Method dbr:Ralph-Johan_Back dbr:Leslie_Lamport dbr:Postcondition dbr:Dynamic_logic_(modal_logic) dbr:Well-founded_relation dbr:Hoare_logic dbr:Frama-C dbr:Loop_invariant dbc:Program_logic dbr:Randomized_algorithm dbr:ESC/Java dbr:Symbolic_execution dbr:Concurrent_programming dbr:Refinement_calculus dbr:Haskell_(programming_language) dbr:Formal_semantics_of_programming_languages dbr:Monotonic dbr:Distributed_systems dbr:Total_function dbr:Floyd–Hoare_logic dbr:Guarded_commands dbr:Assertion_(computing) dbr:Interactive_theorem_proving
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Anchor dbt:Cite_journal dbt:Refend dbt:Refbegin dbt:Citation_needed dbt:Mvar dbt:Mono dbt:Semantics dbt:Tmath dbt:Short_description dbt:Edsger_Dijkstra
dct:subject	dbc:Formal_methods dbc:Edsger_W._Dijkstra dbc:Program_logic
rdfs:label	Predicate transformer semantics (en) Semàntica de transformació de predicats (ca) Wp-Kalkül (de) Semántica de transformación de predicados (es) 述語変換意味論 (ja) Слабейшее предусловие (ru)
owl:sameAs	wikidata:Predicate transformer semantics dbpedia-de:Predicate transformer semantics dbpedia-ja:Predicate transformer semantics dbpedia-es:Predicate transformer semantics dbpedia-ru:Predicate transformer semantics dbpedia-ca:Predicate transformer semantics dbpedia-bg:Predicate transformer semantics dbpedia-global:Predicate transformer semantics yago-res:Predicate transformer semantics freebase:Predicate transformer semantics
prov:wasDerivedFrom	wikipedia-en:Predicate_transformer_semantics?oldid=1259467148&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Predicate_transformer_semantics
is dbo:wikiPageRedirects of	dbr:Weakest_liberal_precondition dbr:Weakest_precondition dbr:Weakest_precondition_calculus
is dbo:wikiPageWikiLink of	dbr:Axiomatic_semantics dbr:Guarded_Command_Language dbr:Carel_S._Scholten dbr:Extended_static_checking dbr:List_of_tools_for_static_code_analysis dbr:Semantics_(computer_science) dbr:Unifying_Theories_of_Programming dbr:Dynamic_logic_(modal_logic) dbr:Hoare_logic dbr:Loop_variant dbr:Loop_invariant dbr:List_of_programming_language_researchers dbr:List_of_Dutch_inventions_and_innovations dbr:Weakest_liberal_precondition dbr:Weakest_precondition dbr:Weakest_precondition_calculus
is foaf:primaryTopic of	wikipedia-en:Predicate_transformer_semantics