%0 Conference Paper %1 conf/sac/LenartSG00 %A Lenart, Alexandre %A Sadler, Christopher %A Gupta, Sandeep K. S. %B SAC (2) %D 2000 %E Bryant, Barrett R. %E Carroll, Janice H. %E Damiani, Ernesto %E Haddad, Hisham %E Oppenheim, Dave %I ACM %K dblp %P 813-817 %T SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation. %U http://dblp.uni-trier.de/db/conf/sac/sac2000-2.html#LenartSG00

@inproceedings{conf/sac/LenartSG00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lenart, Alexandre and Sadler, Christopher and Gupta, Sandeep K. S.}, biburl = {https://www.bibsonomy.org/bibtex/2485d30d21ee561f451aedb9ed3d68cfd/dblp}, booktitle = {SAC (2)}, crossref = {conf/sac/2000-2}, editor = {Bryant, Barrett R. and Carroll, Janice H. and Damiani, Ernesto and Haddad, Hisham and Oppenheim, Dave}, ee = {https://doi.org/10.1145/338407.338570}, interhash = {991d9ba2594a4a02444c3dcb9edb2121}, intrahash = {485d30d21ee561f451aedb9ed3d68cfd}, keywords = {dblp}, note = {1-58113-240-9}, pages = {813-817}, publisher = {ACM}, timestamp = {2018-11-07T13:11:50.000+0100}, title = {SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2000-2.html#LenartSG00}, year = 2000 }