Package: libapron-ocaml-dev (0.9.10-9.1 and others)
Links for libapron-ocaml-dev
Debian Resources:
Download Source Package apron:
Maintainer:
External Resources:
- Homepage [apron.cri.ensmp.fr]
Similar packages:
libreria per interpretazione astratta (interfaccia OCaml)
La libreria APRON è dedicata all'analisi statica di variabili numeriche di un programma tramite interpretazione astratta. Lo scopo di questo tipo di analisi è di inferire invarianti su tali variabili. È pensata per essere un'interfaccia comune a varie librerie o domini astratti sottostanti, e per fornire servizi aggiuntivi che possono essere implementati indipendentemente dalla libreria o dal dominio astratto sottostante.
Questo pacchetto contiene i file necessari per utilizzare la libreria APRON in OCaml.
Other Packages Related to libapron-ocaml-dev
|
|
|
|
-
- dep: libapron-dev
- libreria di interpretazione astratta
-
- dep: libapron-ocaml-8p542
- virtual package provided by libapron-ocaml
-
- dep: ocaml-nox-4.11.1
- virtual package provided by ocaml-nox
Download libapron-ocaml-dev
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
mips64el | 0.9.10-9.1+b2 | 1,329.6 kB | 20,889.0 kB | [list of files] |