Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Widening_(computer_science)> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Widening_(computer_science) abstract "In computer science, especially model checking and abstract interpretation, widening refers to at least two different techniques in the analysis of abstract transition systems where infinite progressions of abstract states are replaced by a (computed or guessed) least fixed point. The use of the term in model checking is closely related to acceleration techniques, some authors reserving acceleration for exact computations.".
- Widening_(computer_science) wikiPageID "47058444".
- Widening_(computer_science) wikiPageLength "4096".
- Widening_(computer_science) wikiPageOutDegree "16".
- Widening_(computer_science) wikiPageRevisionID "673382564".
- Widening_(computer_science) wikiPageWikiLink Abstract_interpretation.
- Widening_(computer_science) wikiPageWikiLink Abstraction_model_checking.
- Widening_(computer_science) wikiPageWikiLink Category:Abstract_interpretation.
- Widening_(computer_science) wikiPageWikiLink Channel_systems.
- Widening_(computer_science) wikiPageWikiLink Computer_science.
- Widening_(computer_science) wikiPageWikiLink Counter_systems.
- Widening_(computer_science) wikiPageWikiLink Coverability_graph.
- Widening_(computer_science) wikiPageWikiLink Least_fixed_point.
- Widening_(computer_science) wikiPageWikiLink Model_checking.
- Widening_(computer_science) wikiPageWikiLink Petri_net.
- Widening_(computer_science) wikiPageWikiLink Pushdown_systems.
- Widening_(computer_science) wikiPageWikiLink Semantics_(computer_science).
- Widening_(computer_science) wikiPageWikiLink Transition_system.
- Widening_(computer_science) wikiPageWikiLink Well-structured_transition_system.
- Widening_(computer_science) wikiPageWikiLinkText "Widening (computer science)".
- Widening_(computer_science) wikiPageWikiLinkText "widening operator".
- Widening_(computer_science) wikiPageUsesTemplate Template:Reflist.
- Widening_(computer_science) subject Category:Abstract_interpretation.
- Widening_(computer_science) comment "In computer science, especially model checking and abstract interpretation, widening refers to at least two different techniques in the analysis of abstract transition systems where infinite progressions of abstract states are replaced by a (computed or guessed) least fixed point. The use of the term in model checking is closely related to acceleration techniques, some authors reserving acceleration for exact computations.".
- Widening_(computer_science) label "Widening (computer science)".
- Widening_(computer_science) wasDerivedFrom Widening_(computer_science)?oldid=673382564.
- Widening_(computer_science) isPrimaryTopicOf Widening_(computer_science).