Difference between revisions of "Program-Analysis.com"
AboutUsBot (talk | contribs) (Page Updated by AboutUsBot) |
(migration import) |
||
| Line 38: | Line 38: | ||
* [http://whois.domaintools.com/program-analysis.com WHOIS for Program-Analysis.com] | * [http://whois.domaintools.com/program-analysis.com WHOIS for Program-Analysis.com] | ||
| − | [[Category: | + | |
| − | [[Category:Compiler | + | __NOTOC__ |
| + | [[Category:Abstract_Interpretation]] | ||
| + | [[Category:Compiler]] | ||
| + | [[Category:Compiler_Construction]] | ||
| + | [[Category:Compiler_Technology]] | ||
| + | [[Category:Data_Flow_Analysis]] | ||
| + | [[Category:Optimisation]] | ||
| + | [[Category:Optimization]] | ||
[[Category:PAG]] | [[Category:PAG]] | ||
| − | [[Category: | + | [[Category:Program_Analysis]] |
| − | [[Category: | + | [[Category:Program_Analyzer_Generator]] |
| − | [[Category: | + | [[Category:Program_Optimization]] |
| − | [[Category: | + | [[Category:Programmanalysatorgenerator]] |
| − | |||
| − | |||
[[Category:Programmanalyse]] | [[Category:Programmanalyse]] | ||
| − | [[Category: | + | [[Category:Static_Program_Analysis]] |
| − | [[Category: | + | [[Category:Statische_Programmanalyse]] |
| − | |||
| − | |||
[[Category:Tool]] | [[Category:Tool]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
Latest revision as of 07:57, 12 November 2013
Title
PAG/WWW: Static Program Analysis
Description
Excerpted from the website:
- Introduction
- In order to produce high-quality code, compilers have to rely on the results of static program analyses. To date, implementing these analyses has been difficult, expensive and error-prone. The PAG Program Analyzer Generator provides automatic tool support for generation of efficient analyzers from concise specifications. However, while PAG makes it easy to create an analyzer and to integrate the analyzer into a compiler, it is not appropriate for program analysis novices, because it requires deep understanding of the PAG internals to get started.
Languages
English
