Modelling Metamorphism by Abstract Interpretation

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend. Modelling Metamorphism by Abstract Interpretation. In Radhia Cousot, Matthieu Martel, editors, Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Volume 6337 of Lecture Notes in Computer Science, pages 218-235, Springer, 2010. [doi]

Authors

Mila Dalla Preda

This author has not been identified. Look up 'Mila Dalla Preda' in Google

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google

Saumya K. Debray

This author has not been identified. Look up 'Saumya K. Debray' in Google

Kevin Coogan

This author has not been identified. Look up 'Kevin Coogan' in Google

Gregg M. Townsend

This author has not been identified. Look up 'Gregg M. Townsend' in Google