M. I. Cole

Learn More
SUMMARY Predicting the resources that are consumed by a program component is crucial for many parallel or distributed systems. In this context, the main resources of interest are execution time, space and communica-tion/synchronisation costs. There has recently been significant progress in resource analysis technology, notably in type-based analyses and(More)
  • 1