Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Shape_analysis_(program_analysis)> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Shape_analysis_(program_analysis) abstract "In program analysis, a shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated data structures in (usually imperative) computer programs. It is typically used at compile time to find software bugs or to verify high-level correctness properties of programs. In Java programs, it can be used to ensure that a sort method correctly sorts a list. For C programs, it might look for places where a block of memory is not properly freed.".
- Shape_analysis_(program_analysis) wikiPageExternalLink 582153.582161.
- Shape_analysis_(program_analysis) wikiPageExternalLink toplas02.pdf.
- Shape_analysis_(program_analysis) wikiPageID "8086291".
- Shape_analysis_(program_analysis) wikiPageLength "7886".
- Shape_analysis_(program_analysis) wikiPageOutDegree "16".
- Shape_analysis_(program_analysis) wikiPageRevisionID "646124450".
- Shape_analysis_(program_analysis) wikiPageWikiLink Alias_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Category:Articles_with_example_C++_code.
- Shape_analysis_(program_analysis) wikiPageWikiLink Category:Static_program_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Dangling_pointer.
- Shape_analysis_(program_analysis) wikiPageWikiLink Escape_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Halting_problem.
- Shape_analysis_(program_analysis) wikiPageWikiLink Imperative_programming.
- Shape_analysis_(program_analysis) wikiPageWikiLink Java_(programming_language).
- Shape_analysis_(program_analysis) wikiPageWikiLink Linked_list.
- Shape_analysis_(program_analysis) wikiPageWikiLink Memory_leak.
- Shape_analysis_(program_analysis) wikiPageWikiLink Pointer_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Program_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Reinhard_Wilhelm.
- Shape_analysis_(program_analysis) wikiPageWikiLink Static_code_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Static_program_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLink Thomas_W._Reps.
- Shape_analysis_(program_analysis) wikiPageWikiLink Typestate_analysis.
- Shape_analysis_(program_analysis) wikiPageWikiLinkText "Shape analysis (program analysis)".
- Shape_analysis_(program_analysis) wikiPageWikiLinkText "Shape analysis".
- Shape_analysis_(program_analysis) wikiPageWikiLinkText "shape analysis".
- Shape_analysis_(program_analysis) hasPhotoCollection Shape_analysis_(program_analysis).
- Shape_analysis_(program_analysis) wikiPageUsesTemplate Template:Citation_needed.
- Shape_analysis_(program_analysis) wikiPageUsesTemplate Template:Cite_book.
- Shape_analysis_(program_analysis) wikiPageUsesTemplate Template:Cite_journal.
- Shape_analysis_(program_analysis) wikiPageUsesTemplate Template:Reflist.
- Shape_analysis_(program_analysis) subject Category:Articles_with_example_C++_code.
- Shape_analysis_(program_analysis) subject Category:Static_program_analysis.
- Shape_analysis_(program_analysis) hypernym Technique.
- Shape_analysis_(program_analysis) type Software.
- Shape_analysis_(program_analysis) comment "In program analysis, a shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated data structures in (usually imperative) computer programs. It is typically used at compile time to find software bugs or to verify high-level correctness properties of programs. In Java programs, it can be used to ensure that a sort method correctly sorts a list. For C programs, it might look for places where a block of memory is not properly freed.".
- Shape_analysis_(program_analysis) label "Shape analysis (program analysis)".
- Shape_analysis_(program_analysis) sameAs シェープ解析.
- Shape_analysis_(program_analysis) sameAs m.026qyck.
- Shape_analysis_(program_analysis) sameAs Q7489226.
- Shape_analysis_(program_analysis) sameAs Q7489226.
- Shape_analysis_(program_analysis) wasDerivedFrom Shape_analysis_(program_analysis)?oldid=646124450.
- Shape_analysis_(program_analysis) isPrimaryTopicOf Shape_analysis_(program_analysis).