Analysis of program optimization possibilities and further development

DOI10.1016/0304-3975(91)90296-EzbMATH Open0731.68077OpenAlexW1996886894MaRDI QIDQ808282FDOQ808282

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

Recommendations

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

zbMATH Keywords

program optimization

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• On the partial computation principle
• DIANA. An intermediate language for Ada. Rev. version
• Computation and use of data flow information in optimizing compilers
• An empirical study of FORTRAN programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analysis of program optimization possibilities and further development

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)