| EPSRC Reference: |
GR/M58740/01 |
| Title: |
PROBABILISTIC ABSTRACT INTERPRETATION |
| Principal Investigator: |
Hankin, Professor C |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 May 1999 |
Ends: |
31 December 2002 |
Value (£): |
189,379
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Financial Services |
Information Technologies |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This research proposal intends to develop a new framework for program analysis which is able to deal with probabilistic aspects of both the program and the analysis.In order to achieve this goal we will augment the classical framework for static analysis, i.e. Abstract Interpretation, with probabilistic features. This will allow us to measure the imprecision of the analysis by giving an exact extimate of the error made in the approximations.The programme proposed is centred on the introduction of a kind of numerical quantification of the qualities of the program.- on an operational level by incorporating in the dataflow analysis not only information of possible values of variable, but also information about the probability that a certain value is actually assigned to a variable. Therefore, the so called accumulating semantics will be based on probability distributions rather than on sets.- On a more abstract level we plan to transfer the general Cousot framework into a probabilistic setting by replacing either one or both (concrete and abstract) domains by probabilistic domains.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.imperial.ac.uk |