© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Polyhedral Analysis using Parametric Objectives
Jacob M. Howe and Andy King
September 2012 ARCoSS subline.Bibtex Record
@inproceedings{3220, author = {Jacob M. Howe and Andy King}, title = {Polyhedral {A}nalysis using {P}arametric {O}bjectives}, month = {September}, year = {2012}, pages = {}, keywords = {abstract interpretation, linear constraints, projection}, note = {ARCoSS subline}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3220}, }