Matches in DBpedia 2016-04 for { ?s ?p "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."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- 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.".