Compiler Detection of Function Call Side Effects. - David A. Spuler; A. Sayed Muhammed Sajeev (Informatica (Slovenia), 1994)