A New Class of Functions for Abstract Interpretation

Jörg Köller, Markus Mohnen. A New Class of Functions for Abstract Interpretation. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 248-263, Springer, 1999. [doi]

Authors

Jörg Köller

This author has not been identified. Look up 'Jörg Köller' in Google

Markus Mohnen

This author has not been identified. Look up 'Markus Mohnen' in Google