Automatic generation of interprocedural data-flow analyzers and optimizers
From MaRDI portal
Publication:1433977
DOI10.1007/BF02960761zbMath1094.68537OpenAlexW2003871373MaRDI QIDQ1433977
Ruliang Qiao, Zhaoqing Zhang, Ruiqi Lian
Publication date: 1 July 2004
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02960761
Cites Work