The UNIX and Linux Forums
Forum Home
Linux and Unix Man Pages
Search Forums
Search Community Posts
Today's Posts
Quick Links
Man Pages
RedHat Commands
OpenSolaris Commands
Linux Commands
SunOS Commands
FreeBSD Commands
All UNIX Man Pages
All Linux Man Pages
Full Man Repository
Login or Register to Ask a Question and Join Our Community
Search Forums
Show Threads .
Show Posts
Tag Search
Advanced Search
Quick Links
Contact Us
Forum Rules
Today's Posts
FAQ
Pictures & Albums
All Albums
Miscellaneous
What is My IP
Whois
Mark Forums Read
Software Releases - RSS News
APRON numerical abstract domain library 0.9.9 (Default branch)
Tags
domain
,
library
,
software releases
Login to Discuss or Reply to this Discussion in Our Community
Thread Tools
Search this Thread
Special Forums
News, Links, Events and Announcements
Software Releases - RSS News
APRON numerical abstract domain library 0.9.9 (Default branch)
#
1
07-23-2008
Linux Bot
Registered User
26,240,
27
Join Date: Sep 2000
Last Activity: 1 August 2008, 3:09 PM EDT
Posts: 26,240
Thanks Given: 0
Thanked 27 Times in 26 Posts
APRON numerical abstract domain library 0.9.9 (Default branch)
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.
More...
Linux Bot
View Public Profile for Linux Bot
Find all posts by Linux Bot
Login or Register to Ask a Question
Previous Thread
|
Next Thread
Login or Register to Ask a Question
Member Badges and Information Modal
×