Generation of Efficient Interprocedural Analyzers with PAG

Martin Alt, Florian Martin. Generation of Efficient Interprocedural Analyzers with PAG. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 33-50, Springer, 1995.

Authors

Martin Alt

This author has not been identified. Look up 'Martin Alt' in Google

Florian Martin

This author has not been identified. Look up 'Florian Martin' in Google