This is an update request for the document Semantic characterisation of dead control-flow paths
by Ian Hayes, Colin J. Fidge and Karl Lermer
Your paper was deposited in Queensland University of Technology ePrints Archive
and appears online at http://eprints.qut.edu.au/10444/
Before we are able to make any updates or deletions, you must
ensure that the original record at this location is updated/removed.