%0 Conference Paper %1 conf/lcpc/WuCP01 %A Wu, Peng %A Cohen, Albert %A Padua, David A. %B LCPC %D 2001 %E Dietz, Henry G. %I Springer %K %P 427-441 %T Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity. %U http://dblp.uni-trier.de/db/conf/lcpc/lcpc2001.html#WuCP01 %V 2624 %@ 3-540-04029-3

@inproceedings{conf/lcpc/WuCP01, added-at = {2023-12-13T01:31:23.000+0100}, author = {Wu, Peng and Cohen, Albert and Padua, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2d3f17be042b60cd8dfb00f1531bd1271/admin}, booktitle = {LCPC}, crossref = {conf/lcpc/2001}, editor = {Dietz, Henry G.}, ee = {https://doi.org/10.1007/3-540-35767-X_28}, interhash = {72be726e72b65bc9edf7f9544c1dff18}, intrahash = {d3f17be042b60cd8dfb00f1531bd1271}, isbn = {3-540-04029-3}, keywords = {}, pages = {427-441}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:31:23.000+0100}, title = {Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity.}, url = {http://dblp.uni-trier.de/db/conf/lcpc/lcpc2001.html#WuCP01}, volume = 2624, year = 2001 }