About: Extended static checking

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Divisor dbr:Lint_(software) dbr:Satisfiability_modulo_theories dbc:Formal_methods dbr:Automated_theorem_proving dbr:Bounds_checking dbr:Compile_time dbr:Abstract_interpretation dbr:FindBugs dbr:Java_Modeling_Language dbr:VHDL dbr:Static_program_analysis dbr:Precondition dbr:Integer_overflow dbr:Class_invariant dbr:Computer_science dbr:Postcondition dbr:Formal_verification dbr:Loop_invariant dbr:Predicate_transformer_semantics dbc:Static_program_analysis_tools dbr:Division_by_zero dbr:SPARK_(programming_language) dbr:ESC/Java dbr:Symbolic_simulation dbr:Null_pointer dbr:Static_code_analysis dbr:Excluded_third dbr:Type_checking
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal
dct:subject	dbc:Formal_methods dbc:Static_program_analysis_tools
gold:hypernym	dbr:Name
rdfs:label	Extended static checking (en)
owl:sameAs	yago-res:Extended static checking freebase:Extended static checking wikidata:Extended static checking dbpedia-global:Extended static checking
prov:wasDerivedFrom	wikipedia-en:Extended_static_checking?oldid=1272749080&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Extended_static_checking
is dbo:knownFor of	dbr:Greg_Nelson_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:ESC
is dbo:wikiPageWikiLink of	dbr:Greg_Nelson_(computer_scientist) dbr:Type_system dbr:List_of_programmers dbr:Modula-3 dbr:ESC dbr:ESC/Java dbr:List_of_computer_scientists dbr:List_of_people_associated_with_PARC
is dbp:knownFor of	dbr:Greg_Nelson_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:Extended_static_checking