7 search results - page 2 / 2 » A Cost-Estimation Component for Statement Sequences |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
ICDM
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract -- Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies ...