Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Program analysis
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
30677141
(xsd:integer)
dbo:
wikiPageRevisionID
857471779
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Program analysis
(en)
owl:
sameAs
dbpedia-commons
:Program analysis
skos:
broader
dbc
:Formal_methods
dbc
:Analysis
dbc
:Compiler_construction
dbc
:Programming_language_theory
skos:
prefLabel
Program analysis
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Program_analysis?oldid=857471779&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Aliasing_(computing)
dbr
:Effect_system
dbr
:Compiler-compiler
dbr
:Static_program_analysis
dbr
:Typing_environment
dbr
:Type_system
dbr
:Dynamic_program_analysis
dbr
:Flow-sensitive_typing
dbr
:KPI-driven_code_analysis
dbr
:Polyvariance
dbr
:Abstract_interpretation
dbr
:Reaching_definition
dbr
:Typing_rule
dbr
:Search-based_software_engineering
dbr
:Program_slicing
dbr
:Semantic_analysis_(compilers)
dbr
:Typestate_analysis
dbr
:Program_analysis
dbr
:Perl::Critic
dbr
:Steensgaard's_algorithm
is
dcterms:
subject
of
dbr
:Aliasing_(computing)
dbr
:Effect_system
dbr
:Compiler-compiler
dbr
:Static_program_analysis
dbr
:Typing_environment
dbr
:Type_system
dbr
:Dynamic_program_analysis
dbr
:Flow-sensitive_typing
dbr
:KPI-driven_code_analysis
dbr
:Polyvariance
dbr
:Abstract_interpretation
dbr
:Reaching_definition
dbr
:Typing_rule
dbr
:Search-based_software_engineering
dbr
:Program_slicing
dbr
:Semantic_analysis_(compilers)
dbr
:Typestate_analysis
dbr
:Program_analysis
dbr
:Perl::Critic
dbr
:Steensgaard's_algorithm
is
skos:
broader
of
dbc
:Static_program_analysis
dbc
:Dynamic_program_analysis
dbc
:Control-flow_analysis
dbc
:Compiler_optimizations
dbc
:Incremental_computing
dbc
:Software_metrics
dbc
:Data-flow_analysis
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License