KATY DOBSON |
UNIVERSITY OF LEEDS |
SCHOOL OF COMPUTING |
THESIS |
|
| PhD |
Grid Domains for Analysing Software, submitted August 2008. |
PAPERS |
|
| Submitted |
|
| To Appear |
|
| Published in 2007 |
Grids: A Domain for Analyzing the Distribution of Numerical Values, with Roberto Bagnara, Patricia M Hill, Matthew Mundell and Enea Zaffanella. In Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06) (Venice, Italy, July 2006), volume 4407 of Lecture Notes in Computer Science, G. Puebla, Ed., pp. 219-235, 2007.
|
| Published in 2005 |
A Linear Domain for Analyzing the Distribution of Numerical Values, with Roberto Bagnara, Patricia M Hill, Matthew Mundell and Enea Zaffanella. Technical Report. Number 2005.06, School of Computing, University of Leeds.
|
| HOME | CONTACT ME |