Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Lehrstuhl fr Informatik 12 Zeit: Donnerstag, 10. April 2008, 16.30 Uhr
 

Summary: Lehrstuhl für Informatik 12
EINLADUNG
Zeit: Donnerstag, 10. April 2008, 16.30 Uhr
Ort: AH I, Ahornstr. 55
Referent: Prof. Francois Irigoin
Ecole des Mines de Paris
Titel: Automatic computation of loop invariants
Abstract:
Loop invariants are used in compilers to perform program transformations such as
loop parallelization and to check safety properties such array access overflows. De-
pending on the kind of loop invariants used, a variety of techniques have been intro-
duced. In this talk we focus on affine invariants, which can be obtained by using ab-
stract interpretation over a polyhedral domain. Abstract interpretation is a static pro-
gram analysis based on the automatic conversion of concrete program states into
abstract program states and on the static computation of these abstract states, using
so-called widening operators to converge quickly towards a valid solution, especially
for loop invariants. To handle large programs and procedure calls it is useful to define
abstract commands. We show how abstract commands can be used instead of ab-
stract states to derive satisfying loop invariants without using widening operators.
Informatik-Kolloquium

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences