|
|||
|
|||
|
|
||
Title:Resource Analysis for Iterative Java Programs via Lattice-point Enumeration in Polytopes | |||
Authors: Kenneth MacKenzie | |||
Date: 2009 | |||
Publication Type:Other Publication Status:Other | |||
|
Please mail <reports@inf.ed.ac.uk> with any
changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |
![]() |