Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Predicate_transformer_semantics> }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Edsger_W._Dijkstra knownFor Predicate_transformer_semantics.
- WLP wikiPageDisambiguates Predicate_transformer_semantics.
- WP wikiPageDisambiguates Predicate_transformer_semantics.
- Weakest_liberal_precondition wikiPageRedirects Predicate_transformer_semantics.
- Weakest_precondition wikiPageRedirects Predicate_transformer_semantics.
- Weakest_precondition_calculus wikiPageRedirects Predicate_transformer_semantics.
- Axiomatic_semantics wikiPageWikiLink Predicate_transformer_semantics.
- Carel_S._Scholten wikiPageWikiLink Predicate_transformer_semantics.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Predicate_transformer_semantics.
- Edsger_W._Dijkstra wikiPageWikiLink Predicate_transformer_semantics.
- Extended_static_checking wikiPageWikiLink Predicate_transformer_semantics.
- Guarded_Command_Language wikiPageWikiLink Predicate_transformer_semantics.
- Hoare_logic wikiPageWikiLink Predicate_transformer_semantics.
- KeY wikiPageWikiLink Predicate_transformer_semantics.
- List_of_Dutch_inventions_and_discoveries wikiPageWikiLink Predicate_transformer_semantics.
- Loop_invariant wikiPageWikiLink Predicate_transformer_semantics.
- Loop_variant wikiPageWikiLink Predicate_transformer_semantics.
- Semantics_(computer_science) wikiPageWikiLink Predicate_transformer_semantics.
- Static_program_analysis wikiPageWikiLink Predicate_transformer_semantics.
- Unifying_Theories_of_Programming wikiPageWikiLink Predicate_transformer_semantics.
- WLP wikiPageWikiLink Predicate_transformer_semantics.
- WP wikiPageWikiLink Predicate_transformer_semantics.
- Weakest_liberal_precondition wikiPageWikiLink Predicate_transformer_semantics.
- Weakest_precondition wikiPageWikiLink Predicate_transformer_semantics.
- Weakest_precondition_calculus wikiPageWikiLink Predicate_transformer_semantics.
- Edsger_W._Dijkstra knownFor Predicate_transformer_semantics.
- Predicate_transformer_semantics primaryTopic Predicate_transformer_semantics.