About: Infer Static Analyzer

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://fbinfer.com http://www0.cs.ucl.ac.uk/staff/p.ohearn/Invader/Invader/Invader_Home.html http://www0.cs.ucl.ac.uk/staff/p.ohearn/smallfoot/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Fellow_of_the_Royal_Academy_of_Engineering dbr:C++ dbr:Separation_logic dbc:Static_program_analysis dbc:Quality_assurance dbc:Facebook_software dbr:Principle_of_compositionality dbr:Computation_tree_logic dbr:Peter_O'Hearn dbr:Java_(programming_language) dbr:OCaml dbr:Continuous_integration dbr:C_(programming_language) dbr:Objective-C dbr:John_C._Reynolds dbr:Royal_Academy_of_Engineering dbc:Software_review dbr:Formal_verification dbr:Static_code_analysis
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Facebook_navbox dbt:Ill
dct:subject	dbc:Static_program_analysis dbc:Quality_assurance dbc:Facebook_software dbc:Software_review
rdfs:label	Infer Static Analyzer (en)
owl:sameAs	wikidata:Infer Static Analyzer dbpedia-global:Infer Static Analyzer
prov:wasDerivedFrom	wikipedia-en:Infer_Static_Analyzer?oldid=1296367162&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Infer_Static_Analyzer
is dbo:knownFor of	dbr:Peter_O'Hearn
is dbo:wikiPageWikiLink of	dbr:Separation_logic dbr:Peter_O'Hearn dbr:List_of_tools_for_static_code_analysis dbr:List_of_programmers dbr:List_of_programming_language_researchers dbr:List_of_computer_scientists
is dbp:knownFor of	dbr:Peter_O'Hearn
is foaf:primaryTopic of	wikipedia-en:Infer_Static_Analyzer

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International