Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Program_analysis> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Program_analysis abstract "In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what It is supposed to do.Program analysis can be performed without executing the program (static program analysis), during runtime (dynamic program analysis) or in a combination of both.".
- Program_analysis wikiPageID "161905".
- Program_analysis wikiPageLength "6503".
- Program_analysis wikiPageOutDegree "19".
- Program_analysis wikiPageRevisionID "703079405".
- Program_analysis wikiPageWikiLink Automated_code_review.
- Program_analysis wikiPageWikiLink Category:Program_analysis.
- Program_analysis wikiPageWikiLink Chris_Hankin.
- Program_analysis wikiPageWikiLink Computer_science.
- Program_analysis wikiPageWikiLink Control_flow_graph.
- Program_analysis wikiPageWikiLink Correctness_(computer_science).
- Program_analysis wikiPageWikiLink Dynamic_program_analysis.
- Program_analysis wikiPageWikiLink Flemming_Nielson.
- Program_analysis wikiPageWikiLink Formal_verification.
- Program_analysis wikiPageWikiLink Hanne_Riis_Nielson.
- Program_analysis wikiPageWikiLink Language-based_security.
- Program_analysis wikiPageWikiLink Profiling_(computer_programming).
- Program_analysis wikiPageWikiLink Program_optimization.
- Program_analysis wikiPageWikiLink Runtime_verification.
- Program_analysis wikiPageWikiLink SQL_injection.
- Program_analysis wikiPageWikiLink Security_testing.
- Program_analysis wikiPageWikiLink Static_program_analysis.
- Program_analysis wikiPageWikiLink Taint_checking.
- Program_analysis wikiPageWikiLink Type_system.
- Program_analysis wikiPageWikiLinkText "Program analysis".
- Program_analysis wikiPageWikiLinkText "analysis".
- Program_analysis wikiPageWikiLinkText "profilers".
- Program_analysis wikiPageWikiLinkText "program analysis".
- Program_analysis wikiPageUsesTemplate Template:Main.
- Program_analysis wikiPageUsesTemplate Template:Other_uses.
- Program_analysis subject Category:Program_analysis.
- Program_analysis hypernym Process.
- Program_analysis type Election.
- Program_analysis type Method.
- Program_analysis comment "In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness.".
- Program_analysis label "Program analysis".
- Program_analysis sameAs Q2112188.
- Program_analysis sameAs Programmanalyse.
- Program_analysis sameAs Ανάλυση_προγράμματος_(πληροφορική).
- Program_analysis sameAs Análisis_de_software.
- Program_analysis sameAs تجزیه_و_تحلیل_برنامه.
- Program_analysis sameAs 프로그램_분석.
- Program_analysis sameAs Analiza_programów.
- Program_analysis sameAs m.015gvv.
- Program_analysis sameAs Анализа_програма.
- Program_analysis sameAs Q2112188.
- Program_analysis sameAs 程序分析.
- Program_analysis wasDerivedFrom Program_analysis?oldid=703079405.
- Program_analysis isPrimaryTopicOf Program_analysis.