Filewatcher File Search File Search
Catalog
Content Search
» » » » »

apron

Numerical abstract domain library

The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1<=x+y<=z, which holds during any execution of the program.

The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.

Homepage:
Package version:0.9.10
Architecture:src
Distribution:Fedora
Filename:apron-0.9.10-5.fc17.src.rpm

Browse inside apron-0.9.10-5.fc17.src.rpm

1.62 MB2014-11-30apron-0.9.10.tgz  view  23 mirrors
8.56 KB2014-11-30apron.spec  view
536 B2014-11-30apron-weak.patch  view  2 mirrors
1.05 KB2014-11-30HEADER  view  161 mirrors

Download apron-0.9.10-5.fc17.src.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com