scientific article; zbMATH DE number 193386

MaRDI QIDQ4040207zbMATH OpenFDO

Authors Victor N. Kasyanov

Publication date 5 June 1993

zbMATH Keywords

analysis of algorithmsblock schemescomputational complexityoptimizing compilationOptimizing transformationsprogram optimizationprogramming automizationtransformation of algorithms

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 3888891
• Compiler design. Analysis and transformation.
• Foundation of algorithms of optimization of programs
• Realization of optimizing transformations of programs with the help of a structural predicative grammar
• scientific article; zbMATH DE number 1878556

Cited in

(9)

• Automatic generation of tests based on the configuration files for compiler optimization transformations
• scientific article; zbMATH DE number 3888891 (Why is no real title available?)
• Composing Transformations to Optimize Linear Code
• scientific article; zbMATH DE number 914132 (Why is no real title available?)
• Realization of optimizing transformations of programs with the help of a structural predicative grammar
• Foundation of algorithms of optimization of programs
• Time optimization of linear program sections
• Transformational approach to program concretization
• Analysis of program optimization possibilities and further development

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 Q4040207)