Flow Analysis, Linearity, and PTIME

David Van Horn, Harry G. Mairson. Flow Analysis, Linearity, and PTIME. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 255-269, Springer, 2008. [doi]

Authors

David Van Horn

This author has not been identified. Look up 'David Van Horn' in Google

Harry G. Mairson

This author has not been identified. Look up 'Harry G. Mairson' in Google