© 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{3222,
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/3222},
}