@inproceedings{GR91, author = {R. Giacobazzi and L. Ricci}, title = {Detecting {D}eterminate {C}omputations by a {B}ottom-up {A}bstract {I}nterpretation}, booktitle = "Proceeedings ESOP '92", series= "Lecture Notes in Computer Science", volume = {582}, editor = {B. Krieg-Br\"{u}ckner}, publisher = "Springer-Verlag, Berlin", pages = "167-181", year = 1992}