AnalyseJ (Program Analysis Collection) 0.3
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/programanalysis/files/type%20analysis/0.3/typeanalysis-0.3.zip/download
ABOUT AnalyseJ (Program Analysis Collection)
This project comprises a collection of libraries and applications for the field of program analysis. The starting point is a type analysis for Java programs using Agesen's Cartesian Product Algorithm.
Related Programs
-
HRAP: Heart Rate Analysis Program Free
The LabVIEW application toolkit for phasic heart rate analysis in psychophysiological research incorporates a variety of tools for offline extraction and analysis of heart rate data.
-
Hangul writing Free
Exciting Hangul ★ ★ ★ ★ ★ ★Application is able to quickly and easily learn Hangul, children learn letters, writing letters. By systematic order to learn the letters and write in English (alphabet
-
Jesus Ten Commandments FREE Free
The Ten Commandments for Android brought to you by Poison Dart Studios in a beautiful and sleek UI.True Jesus believers will surely love and treasure it.The Ten Commandments were a series of religious instructions spoken by G
-
Saints Row : The Third Cheats Free
**Already Update Ad format to compliance with Google Play Developer Program Policy**Handy Cheats for Saints Row : The Third for your Android Mobile.Features of the application include:-All Secrets and Codes.-All Achievements
-
Army Uniforms (AR 670-1) Free Trial
NEWLY UPDATED TO THE 2014 UNIFORM CHANGES! Army Uniform and Insignia Policy in the Palm of Your Hand! NOTE: THIS IS NOT A CLIFF NOTES UNIFORM GUIDE APP! IT IS THE VERBATIM REGULATION BUT FORMATTED SPECIFICALLY FOR A PHONE-SIZ
-
gsvit Free
Fast FDTD solver with graphics card support. Optimized for nanoscale optics - scanning near field optical microscopy, rough surface scattering and solar cells. Uses CUDA environment for graphics card operation.
-
Prob-Planning Free
NOTE: We have moved the project to https://bitbucket.org/makokal/openprm/overview, all the code that is still in sf is not maintained anymore. please use the new code at the location given
-
OMMEL Free
Oxygen Model for Microtidal Estuaries and Lagoons-OMMEL. Initially designed to describe O2 dynamics in Alfacs Bay (Ebre Delta, NW Mediterranean, Spain), but usable for any marine coastal ecosystem with small tides. http://tdr
-
Harrow Free
A Java library, webservice and webclient for harvesting metadata. It currently supports harvesting from OAI-PMH to Fedora 2, but can easily be extended to support more protocols.
-
GDPDM Free
The Genomic Diversity and Phenotype Data Model (GDPDM) captures molecular and phenotypic diversity data. MySQL databases are used to implement the schema. This project develops software tools (written in Java, Perl, etc.) ass