### Resumé

Originalsprog | Engelsk |
---|---|

Titel | Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003 |

Redaktører | Maurice Bruynooghe |

Antal sider | 14 |

Udgivelses sted | Uppsala |

Forlag | Springer |

Publikationsdato | 2003 |

Sider | 92-105 |

ISBN (Trykt) | 3-540-22174-3 |

Status | Udgivet - 2003 |

Navn | Lecture Notes in Computer Science |
---|---|

Vol/bind | 3018 |

ISSN | 0302-9743 |

### Citer dette

*Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003*(s. 92-105). Uppsala: Springer. Lecture Notes in Computer Science, Bind. 3018

}

*Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003.*Springer, Uppsala, Lecture Notes in Computer Science, bind 3018, s. 92-105.

**A Program Transformation for Backwards Analysis of Logic Programs.** / Gallagher, John Patrick.

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

TY - CHAP

T1 - A Program Transformation for Backwards Analysis of Logic Programs

AU - Gallagher, John Patrick

PY - 2003

Y1 - 2003

N2 - The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial goals. The transformation is derived from the resultants semantics of logic programs. The transformed program is then analysed using a standard abstract interpretation. The required pre-conditions on initial goals can be deduced from the analysis results without a further fixpoint computation. For the modes backwards analysis problem, this approach gives the same results as previous work, but requires only a standard abstract interpretation framework and no special properties of the abstract domain.

AB - The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial goals. The transformation is derived from the resultants semantics of logic programs. The transformed program is then analysed using a standard abstract interpretation. The required pre-conditions on initial goals can be deduced from the analysis results without a further fixpoint computation. For the modes backwards analysis problem, this approach gives the same results as previous work, but requires only a standard abstract interpretation framework and no special properties of the abstract domain.

M3 - Book chapter

SN - 3-540-22174-3

SP - 92

EP - 105

BT - Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003

A2 - Bruynooghe, Maurice

PB - Springer

CY - Uppsala

ER -