Precise Interprocedural Side-Effect Analysis

Manuel Geffken, Hannes Saffrich, Peter Thiemann. Precise Interprocedural Side-Effect Analysis. In Gabriel Ciobanu, Dominique Méry, editors, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Volume 8687 of Lecture Notes in Computer Science, pages 188-205, Springer, 2014. [doi]

Authors

Manuel Geffken

This author has not been identified. Look up 'Manuel Geffken' in Google

Hannes Saffrich

This author has not been identified. Look up 'Hannes Saffrich' in Google

Peter Thiemann

This author has not been identified. It may be one of the following persons: Look up 'Peter Thiemann' in Google