Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: apron  ]

Paket: libapron-ocaml-dev (0.9.10-5)

Links für libapron-ocaml-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket apron herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

an abstract interpretation library (OCaml interface)

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. It 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.

This package contains the files necessary to use the APRON library in OCaml.

Markierungen: Software-Entwicklung: OCaml-Entwicklung, Bibliotheken, Testen und QS, Implementiert in: C, OCaml, Rolle: Entwicklungs-Bibliothek, Zweck: Analyse, Überprüfen

Andere Pakete mit Bezug zu libapron-ocaml-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

libapron-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 3.294,2 kB14.268,0 kB [Liste der Dateien]
armel 3.054,7 kB12.152,0 kB [Liste der Dateien]
i386 3.094,8 kB11.724,0 kB [Liste der Dateien]
ia64 4.649,8 kB23.836,0 kB [Liste der Dateien]
kfreebsd-amd64 3.214,8 kB14.108,0 kB [Liste der Dateien]
kfreebsd-i386 3.014,8 kB11.438,0 kB [Liste der Dateien]
mips 3.673,6 kB15.956,0 kB [Liste der Dateien]
mipsel 3.544,5 kB15.956,0 kB [Liste der Dateien]
powerpc 3.202,7 kB13.476,0 kB [Liste der Dateien]
s390 3.365,2 kB13.176,0 kB [Liste der Dateien]
sparc 3.150,8 kB13.060,0 kB [Liste der Dateien]