scientific article; zbMATH DE number 1693491

MaRDI QIDQ2764068zbMATH OpenFDO

Authors Robert van Engelen

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2027/20270118

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• Interprocedural Induction Variable Analysis
• scientific article; zbMATH DE number 830853
• scientific article; zbMATH DE number 618313
• scientific article; zbMATH DE number 1975605
• Efficient symbolic analysis of programs

Cited in

(6)

• Efficient symbolic analysis of programs
• Efficient symbolic analysis for parallelizing compilers and performance estimators
• scientific article; zbMATH DE number 1975605 (Why is no real title available?)
• scientific article; zbMATH DE number 2090121 (Why is no real title available?)
• Application of symbolic approach to the Bernstein expansion for program analysis and optimization
• Interprocedural Induction Variable Analysis

Describes a project that uses

Uses Software

• CTADEL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764068)