Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q291929> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Q291929 subject Q7039610.
- Q291929 subject Q8466124.
- Q291929 subject Q8795311.
- Q291929 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.".
- Q291929 wikiPageExternalLink 360933.360975.
- Q291929 wikiPageExternalLink BF01213603.
- Q291929 wikiPageWikiLink Q1056428.
- Q291929 wikiPageWikiLink Q1120519.
- Q291929 wikiPageWikiLink Q1131652.
- Q291929 wikiPageWikiLink Q11387554.
- Q291929 wikiPageWikiLink Q1144319.
- Q291929 wikiPageWikiLink Q1189746.
- Q291929 wikiPageWikiLink Q12482.
- Q291929 wikiPageWikiLink Q128392.
- Q291929 wikiPageWikiLink Q1375924.
- Q291929 wikiPageWikiLink Q1413450.
- Q291929 wikiPageWikiLink Q1437428.
- Q291929 wikiPageWikiLink Q1579914.
- Q291929 wikiPageWikiLink Q1756942.
- Q291929 wikiPageWikiLink Q180634.
- Q291929 wikiPageWikiLink Q194404.
- Q291929 wikiPageWikiLink Q2067766.
- Q291929 wikiPageWikiLink Q210841.
- Q291929 wikiPageWikiLink Q21199.
- Q291929 wikiPageWikiLink Q2238838.
- Q291929 wikiPageWikiLink Q2442390.
- Q291929 wikiPageWikiLink Q2452104.
- Q291929 wikiPageWikiLink Q2555318.
- Q291929 wikiPageWikiLink Q25670.
- Q291929 wikiPageWikiLink Q275596.
- Q291929 wikiPageWikiLink Q2881121.
- Q291929 wikiPageWikiLink Q3085774.
- Q291929 wikiPageWikiLink Q3257964.
- Q291929 wikiPageWikiLink Q333341.
- Q291929 wikiPageWikiLink Q333373.
- Q291929 wikiPageWikiLink Q338021.
- Q291929 wikiPageWikiLink Q34010.
- Q291929 wikiPageWikiLink Q3527263.
- Q291929 wikiPageWikiLink Q360690.
- Q291929 wikiPageWikiLink Q3836453.
- Q291929 wikiPageWikiLink Q4055684.
- Q291929 wikiPageWikiLink Q4149745.
- Q291929 wikiPageWikiLink Q484284.
- Q291929 wikiPageWikiLink Q5324121.
- Q291929 wikiPageWikiLink Q5469945.
- Q291929 wikiPageWikiLink Q5477849.
- Q291929 wikiPageWikiLink Q583461.
- Q291929 wikiPageWikiLink Q595364.
- Q291929 wikiPageWikiLink Q600590.
- Q291929 wikiPageWikiLink Q649732.
- Q291929 wikiPageWikiLink Q6675865.
- Q291929 wikiPageWikiLink Q7039610.
- Q291929 wikiPageWikiLink Q7287124.
- Q291929 wikiPageWikiLink Q7307205.
- Q291929 wikiPageWikiLink Q741248.
- Q291929 wikiPageWikiLink Q749893.
- Q291929 wikiPageWikiLink Q7661178.
- Q291929 wikiPageWikiLink Q792533.
- Q291929 wikiPageWikiLink Q8366.
- Q291929 wikiPageWikiLink Q8466124.
- Q291929 wikiPageWikiLink Q8556.
- Q291929 wikiPageWikiLink Q8789.
- Q291929 wikiPageWikiLink Q8795311.
- Q291929 wikiPageWikiLink Q902052.
- Q291929 wikiPageWikiLink Q92604.
- Q291929 wikiPageWikiLink Q92613.
- Q291929 wikiPageWikiLink Q935944.
- Q291929 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.".
- Q291929 label "Predicate transformer semantics".