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.

Bibliographies