Analysis of program optimization possibilities and further development

DOI10.1016/0304-3975(91)90296-EMaRDI QIDQ808282zbMATH OpenOpenAlexFDO

Authors I. V. Pottosin

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90296-e

zbMATH Keywords

program optimization

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2124969
• Interprocedural analysis and optimization
• scientific article; zbMATH DE number 3874581
• Logic Programming
• scientific article; zbMATH DE number 177667
• Optimization of functionality development
• Compiler Construction
• scientific article; zbMATH DE number 4121405
• scientific article; zbMATH DE number 2090573

Cites work

• scientific article; zbMATH DE number 18537 (Why is no real title available?)
• scientific article; zbMATH DE number 193386 (Why is no real title available?)
• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• scientific article; zbMATH DE number 3439968 (Why is no real title available?)
• scientific article; zbMATH DE number 3359780 (Why is no real title available?)
• An empirical study of FORTRAN programs
• Analysis of program optimization possibilities and further development
• Computation and use of data flow information in optimizing compilers
• DIANA. An intermediate language for Ada. Rev. version
• On the partial computation principle
• The Munich project CIP. Volume I: The wide spectrum language CIP-L

Cited in

(2)

• Loop cleaning
• Analysis of program optimization possibilities and further development

This page was built for publication: Analysis of program optimization possibilities and further development

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