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: libc0.1 (>= 2.3)

  knižnica Embedded GNU C - zdieľané knižnice
  also a virtual package provided by libc0.1-udeb

• dep: libgcc1

  podporná knižnica GCC

• dep: libgmp3c2

  aritmetická knižnica s viacnásobnou presnosťou

• dep: libmpfr4

  výpočty s plávajúcou desatinnou čiarkou s viacnásobnou presnosťou

• dep: libstdc++6

  Štandardná C++ knižnica GNU 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
kfreebsd-i386	76.0 kB	270.0 kB	[list of files]