Polyhedral Analysis Using Parametric Objectives

Jacob M. Howe, Andy King. Polyhedral Analysis Using Parametric Objectives. In Antoine Miné, David Schmidt, editors, Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings. Volume 7460 of Lecture Notes in Computer Science, pages 41-57, Springer, 2012. [doi]

Authors

Jacob M. Howe

This author has not been identified. Look up 'Jacob M. Howe' in Google

Andy King

This author has not been identified. Look up 'Andy King' in Google