Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Static_program_analysis> . }
Showing items 1 to 15 of
15
with 100 items per page.
- Alias_analysis subject Category:Static_program_analysis.
- Array_access_analysis subject Category:Static_program_analysis.
- Call_graph subject Category:Static_program_analysis.
- Dependence_analysis subject Category:Static_program_analysis.
- Escape_analysis subject Category:Static_program_analysis.
- Hoare_logic subject Category:Static_program_analysis.
- Pointer_analysis subject Category:Static_program_analysis.
- Shape_analysis_(program_analysis) subject Category:Static_program_analysis.
- Static_program_analysis subject Category:Static_program_analysis.
- Strictness_analysis subject Category:Static_program_analysis.
- Taint_checking subject Category:Static_program_analysis.
- Termination_analysis subject Category:Static_program_analysis.
- Value_range_analysis subject Category:Static_program_analysis.
- Category:Abstract_interpretation broader Category:Static_program_analysis.
- Category:Static_program_analysis_tools broader Category:Static_program_analysis.