Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Predicate_transformer_semantics> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items 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 transformers: 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 wikiPageRevisionID "599259113".
- Predicate_transformer_semantics hasPhotoCollection Predicate_transformer_semantics.
- 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 Ability105616246.
- Predicate_transformer_semantics type Abstraction100002137.
- Predicate_transformer_semantics type Cognition100023271.
- Predicate_transformer_semantics type FormalMethods.
- Predicate_transformer_semantics type Know-how105616786.
- Predicate_transformer_semantics type Method105660268.
- Predicate_transformer_semantics type PsychologicalFeature100023100.
- 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 label "Semántica de transformación de predicados".
- Predicate_transformer_semantics label "Wp-Kalkül".
- Predicate_transformer_semantics label "Слабейшее предусловие".
- Predicate_transformer_semantics label "述語変換意味論".
- 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 Q291929.
- Predicate_transformer_semantics sameAs Q291929.
- Predicate_transformer_semantics sameAs Predicate_transformer_semantics.
- Predicate_transformer_semantics wasDerivedFrom Predicate_transformer_semantics?oldid=599259113.
- Predicate_transformer_semantics isPrimaryTopicOf Predicate_transformer_semantics.