Atanas Rountev. Precise Identification of Side-Effect-Free Methods in Java. In 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA. pages 82-91, IEEE Computer Society, 2004. [doi]
Abstract is missing.