On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract)

Baudouin Le Charlier, Pierre Flener. On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 379-387, Springer, 1997.

Authors

Baudouin Le Charlier

This author has not been identified. Look up 'Baudouin Le Charlier' in Google

Pierre Flener

This author has not been identified. Look up 'Pierre Flener' in Google