Constant Propagation with Conditional Branches
constants and unreachable branches found in one lattice walk
Read it
EnglishTiếng Việt (abstract only)中文 (abstract only)日本語 (abstract only)
English beside Tiếng ViệtEnglish beside 中文English beside 日本語
- 11 sections
- 0 figures
- 0 equations
- 44 references
- cited by 0 here
- difficulty 3 of 5
- the publisher's page
Contents
- 1INTRODUCTION
- 2PRELIMINARIES
- 3CONSTANT PROPAGATION ALGORITHMS
- 4THEOREMS AND PROPOSITIONS
- 5OBSERVATIONS ON THE CONSTANT PROPAGATION ALGORITHMS
- 6PROCEDURE INTEGRATION AND INTERPROCEDURAL CONSTANT PROPAGATION
- 7AREAS FOR FUTURE RESEARCH
- 8CONCLUSIONS
- Acknowledgments