Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Shape_analysis_(program_analysis)> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items 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. Although shape analyses are very powerful, they usually take a long time to run. For this reason, they have not seen widespread acceptance outside of universities and research labs (where they are only used experimentally)[citation needed].".
- Shape_analysis_(program_analysis) wikiPageExternalLink 582153.582161.
- Shape_analysis_(program_analysis) wikiPageExternalLink toplas02.pdf.
- Shape_analysis_(program_analysis) wikiPageID "8086291".
- Shape_analysis_(program_analysis) wikiPageRevisionID "584654479".
- Shape_analysis_(program_analysis) hasPhotoCollection Shape_analysis_(program_analysis).
- Shape_analysis_(program_analysis) subject Category:Articles_with_example_C++_code.
- Shape_analysis_(program_analysis) subject Category:Static_program_analysis.
- 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) label "シェープ解析".
- 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=584654479.
- Shape_analysis_(program_analysis) isPrimaryTopicOf Shape_analysis_(program_analysis).