Shmuel Sagiv. High level formalisms for program flow analysis and their use in compiling. PhD thesis, Technion - Israel Institute of Technology, Israel, 1991. [doi]
@phdthesis{il-82,
title = {High level formalisms for program flow analysis and their use in compiling},
author = {Shmuel Sagiv},
year = {1991},
url = {https://technion.primo.exlibrisgroup.com/permalink/972TEC_INST/q1jq5o/alma990021116520203971},
researchr = {https://researchr.org/publication/il-82},
cites = {0},
citedby = {0},
school = {Technion - Israel Institute of Technology, Israel},
}