Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Abstract_interpretation> }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Patrick_Cousot knownFor Abstract_interpretation.
- Radhia_Cousot knownFor Abstract_interpretation.
- Abstract_reduction wikiPageRedirects Abstract_interpretation.
- 2014_in_science wikiPageWikiLink Abstract_interpretation.
- AbsInt wikiPageWikiLink Abstract_interpretation.
- Abstract_machine wikiPageWikiLink Abstract_interpretation.
- Abstract_reduction wikiPageWikiLink Abstract_interpretation.
- Abstraction wikiPageWikiLink Abstract_interpretation.
- Abstraction_(computer_science) wikiPageWikiLink Abstract_interpretation.
- Astrée_(static_analysis) wikiPageWikiLink Abstract_interpretation.
- Cluster_(spacecraft) wikiPageWikiLink Abstract_interpretation.
- CodePeer wikiPageWikiLink Abstract_interpretation.
- Compiler wikiPageWikiLink Abstract_interpretation.
- Control_flow_analysis wikiPageWikiLink Abstract_interpretation.
- Convex_hull wikiPageWikiLink Abstract_interpretation.
- DMS_Software_Reengineering_Toolkit wikiPageWikiLink Abstract_interpretation.
- Data-flow_analysis wikiPageWikiLink Abstract_interpretation.
- Database wikiPageWikiLink Abstract_interpretation.
- Decompiler wikiPageWikiLink Abstract_interpretation.
- Denotational_semantics wikiPageWikiLink Abstract_interpretation.
- Dynamic_program_analysis wikiPageWikiLink Abstract_interpretation.
- ECLAIR wikiPageWikiLink Abstract_interpretation.
- Edmund_M._Clarke wikiPageWikiLink Abstract_interpretation.
- Extended_static_checking wikiPageWikiLink Abstract_interpretation.
- Fixed-point_theorem wikiPageWikiLink Abstract_interpretation.
- Fluctuat wikiPageWikiLink Abstract_interpretation.
- Formal_methods wikiPageWikiLink Abstract_interpretation.
- Formal_verification wikiPageWikiLink Abstract_interpretation.
- Frama-C wikiPageWikiLink Abstract_interpretation.
- Galois_connection wikiPageWikiLink Abstract_interpretation.
- Heisenbug wikiPageWikiLink Abstract_interpretation.
- Invariant_(computer_science) wikiPageWikiLink Abstract_interpretation.
- Knaster–Tarski_theorem wikiPageWikiLink Abstract_interpretation.
- Lattice_(order) wikiPageWikiLink Abstract_interpretation.
- List_of_computer_scientists wikiPageWikiLink Abstract_interpretation.
- List_of_tools_for_static_code_analysis wikiPageWikiLink Abstract_interpretation.
- Model_checking wikiPageWikiLink Abstract_interpretation.
- Nabla_symbol wikiPageWikiLink Abstract_interpretation.
- Patrick_Cousot wikiPageWikiLink Abstract_interpretation.
- Polyspace wikiPageWikiLink Abstract_interpretation.
- Predicate_transformer_semantics wikiPageWikiLink Abstract_interpretation.
- Program_optimization wikiPageWikiLink Abstract_interpretation.
- Prolog wikiPageWikiLink Abstract_interpretation.
- Radhia_Cousot wikiPageWikiLink Abstract_interpretation.
- Semantics_(computer_science) wikiPageWikiLink Abstract_interpretation.
- Set_constraint wikiPageWikiLink Abstract_interpretation.
- Software_bug wikiPageWikiLink Abstract_interpretation.
- Sparse_conditional_constant_propagation wikiPageWikiLink Abstract_interpretation.
- Static_program_analysis wikiPageWikiLink Abstract_interpretation.
- Strictness_analysis wikiPageWikiLink Abstract_interpretation.
- Symbolic_execution wikiPageWikiLink Abstract_interpretation.
- Total_functional_programming wikiPageWikiLink Abstract_interpretation.
- Widening_(computer_science) wikiPageWikiLink Abstract_interpretation.
- these-color.pdf isCitedBy Abstract_interpretation.
- 077f33a751c2f05ee173614fb0e70c87efba8bd03ef544af35b8877c58c57ba6 isCitedBy Abstract_interpretation.
- 2f157a877d279f7bbfb57d25f725a62c0393f941bd666daaa36589bc2e1ed1a9 isCitedBy Abstract_interpretation.
- 4bf39a0b45b09112089b747a4cd84d840485f95f831e82d319714efcc5d231cb isCitedBy Abstract_interpretation.
- fca6e09dc4602c1999b02efa6b27a1fd31ce897619b05c9ad3a68338c6353750 isCitedBy Abstract_interpretation.
- s10990-006-8609-1 isCitedBy Abstract_interpretation.
- j.scico.2006.03.009 isCitedBy Abstract_interpretation.
- 00207168908803778 isCitedBy Abstract_interpretation.
- Patrick_Cousot knownFor Abstract_interpretation.
- Radhia_Cousot knownFor Abstract_interpretation.
- Abstract_interpretation primaryTopic Abstract_interpretation.