- analysis -
The PAG Program Analyzer Generator provides for a generation of efficient analyzers from concise specifications. PAG-generated interprocedural analyzers can be easily integrated into existing compilers. PAG has been successfully used in an ESPRIT project to generate several analyzers (including alias analysis and constant propagation) for industrial grade ANSI-C and Fortran90 compilers. One of the main reasons it is currently widely used in university circles is because of its ability to generate efficient code (ANSI-C) and enable analyzers to be generated which are flexible, maintainable and portable. From these files PAG generates C files and a compile script that creates a library which has to be linked to the compiler.
The PAG Program Analyzer Generator provides for a generation of efficient analyzers from concise specifications. PAG-generated interprocedural analyzers can be easily integrated into existing compilers. PAG has been successfully used in an ESPRIT project to generate several analyzers (including alias analysis and constant propagation) for industrial grade ANSI-C and Fortran90 compilers. One of the main reasons it is currently widely used in university circles is because of its ability to generate efficient code (ANSI-C) and enable analyzers to be generated which are flexible, maintainable and portable. From these files PAG generates C files and a compile script that creates a library which has to be linked to the compiler.
Hanson, "Optimal Bundle Pricing," Management Science (1990). . (quantitative analysis), University of Cincinnati, 1979; Ph. (quantitative analysis), University of Cincinnati, 1980. Bala, "A Mathematical Programming Approach to Data Base Normalization," INFORMS Journal on Computing 9 (1997).
Hanson, "Optimal Bundle Pricing," Management Science (1990). . (quantitative analysis), University of Cincinnati, 1979; Ph. (quantitative analysis), University of Cincinnati, 1980. Bala, "A Mathematical Programming Approach to Data Base Normalization," INFORMS Journal on Computing 9 (1997).
 |
another analysis site: http://www.producenews.com/
.