Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Predicate_transformer_semantics> ?p ?o }
Showing triples 1 to 100 of
100
with 100 triples per page.
- Predicate_transformer_semantics abstract "Predicate transformer semantics were introduced by Dijkstra in his seminal paper \"Guarded commands, nondeterminacy and formal derivation of programs\". They define the semantics of an imperative programming paradigm by assigning to each statement in this language a corresponding predicate transformer: a total function between two predicates on the state space of the statement. In this sense, predicate transformer semantics are a kind of denotational semantics. Actually, in guarded commands, Dijkstra uses only one kind of predicate transformer: the well-known weakest preconditions (see below).Moreover, predicate transformer semantics are a reformulation of Floyd–Hoare logic. Whereas Hoare logic is presented as a deductive system, predicate transformer semantics (either by weakest-preconditions or by strongest-postconditions see below) are complete strategies to build valid deductions of Hoare logic. In other words, they provide an effective algorithm to reduce the problem of verifying a Hoare triple to the problem of proving a first-order formula. Technically, predicate transformer semantics perform a kind of symbolic execution of statements into predicates: execution runs backward in the case of weakest-preconditions, or runs forward in the case of strongest-postconditions.".
- Predicate_transformer_semantics wikiPageExternalLink 360933.360975.
- Predicate_transformer_semantics wikiPageExternalLink BF01213603.
- Predicate_transformer_semantics wikiPageID "1453583".
- Predicate_transformer_semantics wikiPageLength "23513".
- Predicate_transformer_semantics wikiPageOutDegree "81".
- Predicate_transformer_semantics wikiPageRevisionID "705239618".
- Predicate_transformer_semantics wikiPageWikiLink Abstract_interpretation.
- Predicate_transformer_semantics wikiPageWikiLink Abstract_syntax.
- Predicate_transformer_semantics wikiPageWikiLink Algorithm.
- Predicate_transformer_semantics wikiPageWikiLink Assertion_(software_development).
- Predicate_transformer_semantics wikiPageWikiLink Automated_reasoning.
- Predicate_transformer_semantics wikiPageWikiLink Axiomatic_semantics.
- Predicate_transformer_semantics wikiPageWikiLink B-Method.
- Predicate_transformer_semantics wikiPageWikiLink Carel_S._Scholten.
- Predicate_transformer_semantics wikiPageWikiLink Category:Dutch_inventions.
- Predicate_transformer_semantics wikiPageWikiLink Category:Formal_methods.
- Predicate_transformer_semantics wikiPageWikiLink Category:Program_logic.
- Predicate_transformer_semantics wikiPageWikiLink Communications_of_the_ACM.
- Predicate_transformer_semantics wikiPageWikiLink Concurrent_computing.
- Predicate_transformer_semantics wikiPageWikiLink Continuation-passing_style.
- Predicate_transformer_semantics wikiPageWikiLink Coq.
- Predicate_transformer_semantics wikiPageWikiLink Cryptography.
- Predicate_transformer_semantics wikiPageWikiLink David_Gries.
- Predicate_transformer_semantics wikiPageWikiLink Deductive_reasoning.
- Predicate_transformer_semantics wikiPageWikiLink Denotational_semantics.
- Predicate_transformer_semantics wikiPageWikiLink Digital_object_identifier.
- Predicate_transformer_semantics wikiPageWikiLink Distributed_computing.
- Predicate_transformer_semantics wikiPageWikiLink Dynamic_logic_(modal_logic).
- Predicate_transformer_semantics wikiPageWikiLink Java.
- Predicate_transformer_semantics wikiPageWikiLink Edsger_W._Dijkstra.
- Predicate_transformer_semantics wikiPageWikiLink Evaluation_strategy.
- Predicate_transformer_semantics wikiPageWikiLink First-order_logic.
- Predicate_transformer_semantics wikiPageWikiLink Formal_Aspects_of_Computing.
- Predicate_transformer_semantics wikiPageWikiLink Formal_system.
- Predicate_transformer_semantics wikiPageWikiLink Frama-C.
- Predicate_transformer_semantics wikiPageWikiLink Free_variables_and_bound_variables.
- Predicate_transformer_semantics wikiPageWikiLink Guarded_Command_Language.
- Predicate_transformer_semantics wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Predicate_transformer_semantics wikiPageWikiLink Haskell_(programming_language).
- Predicate_transformer_semantics wikiPageWikiLink Hoare_logic.
- Predicate_transformer_semantics wikiPageWikiLink Imperative_programming.
- Predicate_transformer_semantics wikiPageWikiLink J._W._de_Bakker.
- Predicate_transformer_semantics wikiPageWikiLink Joost_N._Kok.
- Predicate_transformer_semantics wikiPageWikiLink Kleene_fixed-point_theorem.
- Predicate_transformer_semantics wikiPageWikiLink Lattice_(order).
- Predicate_transformer_semantics wikiPageWikiLink Leslie_Lamport.
- Predicate_transformer_semantics wikiPageWikiLink Loop_invariant.
- Predicate_transformer_semantics wikiPageWikiLink Loop_variant.
- Predicate_transformer_semantics wikiPageWikiLink Marcello_M._Bonsangue.
- Predicate_transformer_semantics wikiPageWikiLink Modal_logic.
- Predicate_transformer_semantics wikiPageWikiLink Monad_(functional_programming).
- Predicate_transformer_semantics wikiPageWikiLink Monotonic_function.
- Predicate_transformer_semantics wikiPageWikiLink Natural_number.
- Predicate_transformer_semantics wikiPageWikiLink Niklaus_Wirth.
- Predicate_transformer_semantics wikiPageWikiLink Partial_function.
- Predicate_transformer_semantics wikiPageWikiLink Postcondition.
- Predicate_transformer_semantics wikiPageWikiLink Precondition.
- Predicate_transformer_semantics wikiPageWikiLink Predicate_(mathematical_logic).
- Predicate_transformer_semantics wikiPageWikiLink Proof_assistant.
- Predicate_transformer_semantics wikiPageWikiLink Ralph-Johan_Back.
- Predicate_transformer_semantics wikiPageWikiLink Randomized_algorithm.
- Predicate_transformer_semantics wikiPageWikiLink Refinement_calculus.
- Predicate_transformer_semantics wikiPageWikiLink Satisfiability_modulo_theories.
- Predicate_transformer_semantics wikiPageWikiLink Semantics_(computer_science).
- Predicate_transformer_semantics wikiPageWikiLink Separation_logic.
- Predicate_transformer_semantics wikiPageWikiLink Set_theory.
- Predicate_transformer_semantics wikiPageWikiLink Symbolic_execution.
- Predicate_transformer_semantics wikiPageWikiLink Tuple.
- Predicate_transformer_semantics wikiPageWikiLink Type_theory.
- Predicate_transformer_semantics wikiPageWikiLink Well-founded_relation.
- Predicate_transformer_semantics wikiPageWikiLinkText "Predicate Transformers".
- Predicate_transformer_semantics wikiPageWikiLinkText "Predicate transformer semantics".
- Predicate_transformer_semantics wikiPageWikiLinkText "Predicate transformer semantics#Weakest liberal precondition".
- Predicate_transformer_semantics wikiPageWikiLinkText "Weakest-preconditions of While loop".
- Predicate_transformer_semantics wikiPageWikiLinkText "predicate transformer semantics".
- Predicate_transformer_semantics wikiPageWikiLinkText "predicate transformers".
- Predicate_transformer_semantics wikiPageWikiLinkText "semantics".
- Predicate_transformer_semantics wikiPageWikiLinkText "strongest postconditions".
- Predicate_transformer_semantics wikiPageWikiLinkText "weakest preconditions".
- Predicate_transformer_semantics wikiPageUsesTemplate Template:Anchor.
- Predicate_transformer_semantics wikiPageUsesTemplate Template:Reflist.
- Predicate_transformer_semantics subject Category:Dutch_inventions.
- Predicate_transformer_semantics subject Category:Formal_methods.
- Predicate_transformer_semantics subject Category:Program_logic.
- Predicate_transformer_semantics type Area.
- Predicate_transformer_semantics type Area.
- Predicate_transformer_semantics type Method.
- Predicate_transformer_semantics comment "Predicate transformer semantics were introduced by Dijkstra in his seminal paper \"Guarded commands, nondeterminacy and formal derivation of programs\". They define the semantics of an imperative programming paradigm by assigning to each statement in this language a corresponding predicate transformer: a total function between two predicates on the state space of the statement. In this sense, predicate transformer semantics are a kind of denotational semantics.".
- Predicate_transformer_semantics label "Predicate transformer semantics".
- Predicate_transformer_semantics sameAs Q291929.
- Predicate_transformer_semantics sameAs Предикатно-трансформативна_семантика.
- Predicate_transformer_semantics sameAs Wp-Kalkül.
- Predicate_transformer_semantics sameAs Semántica_de_transformación_de_predicados.
- Predicate_transformer_semantics sameAs 述語変換意味論.
- Predicate_transformer_semantics sameAs m.052trm.
- Predicate_transformer_semantics sameAs Слабейшее_предусловие.
- Predicate_transformer_semantics sameAs Q291929.
- Predicate_transformer_semantics wasDerivedFrom Predicate_transformer_semantics?oldid=705239618.
- Predicate_transformer_semantics isPrimaryTopicOf Predicate_transformer_semantics.