Package: libapron-ocaml (0.9.10-5)

[ Source: apron  ]

runtime libraries for APRON (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 include only the dynamic libraries needed for running dynamic bytecode executables.

Tags: Software Development: Libraries, Testing and QA, Implemented in: C, OCaml, Role: Shared Library, Purpose: Analysing, Checking

Other Packages Related to libapron-ocaml

• dep: libapron

  runtime libraries for APRON

• dep: libc6 (>= 2.4)

  libreria C GNU embedded: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:4.1.1)

  libreria di supporto a GCC

• dep: libgmp3c2

  libreria aritmetica a precisione multipla

• dep: libmpfr4

  calcoli in virgola mobile a precisione multipla

• dep: libstdc++6 (>= 4.1.1)

  La libreria GNU Standard C++, versione 3

• dep: ocaml-base-nox-3.11.2

  virtual package provided by ocaml-base-nox

Download libapron-ocaml

Download for all available architectures

Architecture	Package Size	Installed Size	Files
s390	85.3 kB	360.0 kB	[list of files]