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)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:4.1.1)

  GCC support library

• dep: libgmp3c2

  Multiprecision arithmetic library

• dep: libmpfr4

  multiple precision floating-point computation

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

  The GNU Standard C++ Library v3

• 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
armel	72.1 kB	292.0 kB	[list of files]