HTML Microdata document

This HTML5 document contains 133 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n22	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-et	http://et.dbpedia.org/resource/
dbpedia-sr	http://sr.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-el	http://el.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
n18	https://www.cs.columbia.edu/~junfeng/08fa-e6998/sched/readings/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
dbpedia-zh	http://zh.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item: dbr:Program_analysis_(computer_science)
dbo:wikiPageWikiLink: dbr:Program_analysis
dbo:wikiPageRedirects: dbr:Program_analysis

Subject Item: dbr:Metamorphic_testing
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Program_analyzer
dbo:wikiPageWikiLink: dbr:Program_analysis
dbo:wikiPageRedirects: dbr:Program_analysis

Subject Item: dbr:List_of_Eclipse_projects
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Patrick_Drew_McDaniel
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Peter_O'Hearn
dbo:wikiPageWikiLink: dbr:Program_analysis
dbp:fields: dbr:Program_analysis
dbo:academicDiscipline: dbr:Program_analysis

Subject Item: dbr:Deductive_database
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Incremental_computing
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Information_Security_Group
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Reachability_problem
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Rooted_graph
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Fuzzing
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Correctness_(computer_science)
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Shmuel_Sagiv
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Z3_Theorem_Prover
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:ZPL_(programming_language)
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Static_program_analysis
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Symbolic_execution
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:John_D._Gannon
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Language-based_security
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Datalog
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Flow_chart_language
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Helmut_Veith
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Polyvariance
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Abstract_syntax_tree
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Suncoast_Community_High_School
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Code_bloat
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Javier_Esparza
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Termination_analysis
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Byron_Cook_(computer_scientist)
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:CPAchecker
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Pod_(The_Breeders_album)
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Gregg_Rothermel
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Integer_set_library
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Racket_(programming_language)
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Yannis_Smaragdakis
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:SAT_solver
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Satisfiability_modulo_theories
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Shape_analysis_(program_analysis)
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:University_of_Utah_School_of_Computing
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Typestate_analysis
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Program_analysis
rdf:type: dbo:Election
rdfs:label: Análisis de software Analiza programów Ανάλυση προγράμματος (πληροφορική) 程序分析 Program analysis 프로그램 분석 Programmanalyse
rdfs:comment: En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι: * τα συστήματα τύπων * η * η * ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. Analiza programów – badanie programów komputerowych gotowych do uruchomienia lub w postaci kodów źródłowych. Analiza w trakcie działania programu nazywa się analizą dynamiczną, natomiast badanie bez uruchamiania programu nazywa się analizą statyczną. Najważniejszymi zastosowaniami analizy programów jest znajdowanie i usuwanie przyczyn ich błędnego działania (debugowanie), poprawianie jakości programów (optymalizacja) oraz poznawanie szczegółów zasad działania programu (reverse engineering). Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind: * Abstrakte Interpretation * * Datenflussanalyse * Typ- und Effektsysteme 컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다. * 타입 시스템 * * * 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. 在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。
dcterms:subject: dbc:Program_analysis
dbo:wikiPageID: 161905
dbo:wikiPageRevisionID: 1115014051
dbo:wikiPageWikiLink: dbr:Termination_analysis dbr:Taint_checking dbr:Program_verification dbr:Program_optimization dbr:Program_correctness dbr:Static_program_analysis dbr:Interpreter_(computing) dbr:Optimizing_compiler dbr:Profiling_(computer_programming) dbr:Computer_science dbr:Security_testing dbr:Type_system dbr:Logical_formula dbr:Dynamic_program_analysis dbr:Control-flow_graph dbr:Type_inference dbr:Automated_code_review dbr:SQL_injection dbr:C_(programming_language) dbr:Runtime_verification dbr:Boxed_type dbr:Language-based_security dbr:Springer_Science+Business_Media dbc:Program_analysis dbr:Polyvariance
dbo:wikiPageExternalLink: n18:slicing.pdf
owl:sameAs: dbpedia-pl:Analiza_programów dbpedia-fa:آنالیز_برنامه dbpedia-el:Ανάλυση_προγράμματος_(πληροφορική) dbpedia-et:Programmi_analüüs freebase:m.015gvv dbpedia-ko:프로그램_분석 wikidata:Q2112188 dbpedia-sr:Анализа_програма dbpedia-es:Análisis_de_software dbpedia-de:Programmanalyse n22:218EY dbpedia-zh:程序分析
dbp:wikiPageUsesTemplate: dbt:Cite_book dbt:Short_description dbt:Commonscatinline dbt:Clarify dbt:Reflist dbt:Spaced_endash dbt:Software_development_process dbt:Spaced_ndash dbt:Other_uses dbt:Main dbt:More_citations_needed
dbo: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. 컴퓨터 프로그램 분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이다. 프로그램 분석 방법은 크게 정적 프로그램 분석과 동적 프로그램 분석으로 나눌 수 있다. 프로그램 분석은 주로 프로그램 최적화와 에 이용된다. 아래에 프로그램 분석과 관련된 기술들이 있다. * 타입 시스템 * * * Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων που εκτελούνται σε έναν υπολογιστή. Υπάρχουν δύο βασικές προσεγγίσεις στην ανάλυση προγράμματος, η στατική ανάλυση και η δυναμική ανάλυση. Βασικές εφαρμογές της ανάλυσης προγράμματος είναι η και η . Σχετικές τεχνικές με την ανάλυση προγράμματος είναι: * τα συστήματα τύπων * η * η * ο έλεγχος μοντέλων. Η (γνωστή και με τον όρο "profiling") και η είναι συγκεκριμένες μορφές της ανάλυσης προγράμματος. Μια τεχνική που χρησιμοποιείται συχνά για κάποιες περιπτώσεις ανάλυσης προγράμματος είναι το . Die Programmanalyse beschäftigt sich mit Methoden zur (automatischen) Analyse von Computerprogrammen. Die Methoden der Programmanalyse erlauben Programmierern ein besseres Verständnis komplexer Programme, ebenso werden sie in den von Übersetzern und Interpretern genutzten Optimierungsverfahren angewendet. Die Abhängigkeiten zwischen Unterprogrammen anhand Verwendungsnachweis und Aufrufstruktur können ermittelt und in einem statischen angezeigt werden. Wichtige Methoden sind: * Abstrakte Interpretation * * Datenflussanalyse * Typ- und Effektsysteme Analiza programów – badanie programów komputerowych gotowych do uruchomienia lub w postaci kodów źródłowych. Analiza w trakcie działania programu nazywa się analizą dynamiczną, natomiast badanie bez uruchamiania programu nazywa się analizą statyczną. Najważniejszymi zastosowaniami analizy programów jest znajdowanie i usuwanie przyczyn ich błędnego działania (debugowanie), poprawianie jakości programów (optymalizacja) oraz poznawanie szczegółów zasad działania programu (reverse engineering). 在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域：和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。程序分析可以在不执行程序的情况下进行（静态程序分析），也可在执行时进行（），或结合二者。 En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking Otros campos similares son el profiling y la verificación formal de software.
gold:hypernym: dbr:Process
prov:wasDerivedFrom: wikipedia-en:Program_analysis?oldid=1115014051&ns=0
dbo:wikiPageLength: 9945
foaf:isPrimaryTopicOf: wikipedia-en:Program_analysis

Subject Item: dbr:Monica_S._Lam
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:University_of_Utah_College_of_Engineering
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Theory_of_pure_equality
dbo:wikiPageWikiLink: dbr:Program_analysis

Subject Item: dbr:Software_analysis
dbo:wikiPageWikiLink: dbr:Program_analysis
dbo:wikiPageRedirects: dbr:Program_analysis

Subject Item: dbr:Computer_program_analysis
dbo:wikiPageWikiLink: dbr:Program_analysis
dbo:wikiPageRedirects: dbr:Program_analysis

Subject Item: wikipedia-en:Program_analysis
foaf:primaryTopic: dbr:Program_analysis