Package: libapron-ocaml (0.9.10-9.1 and others)

[ Source: apron  ]

librerie runtime per APRON (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 include solo le librerie dinamiche necessarie per eseguire eseguibili bytecode dinamici.

Tags: Software Development: OCaml Development, Libraries, Testing and QA, Implemented in: implemented-in::c, implemented-in::ocaml, Role: Development Library, role::program, role::shared-lib, Purpose: Analysing, Checking

Other Packages Related to libapron-ocaml

• dep: libapron

  librerie runtime per APRON

• dep: libc6 (>= 2.17)

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

• dep: libgmp10

  libreria aritmetica a precisione multipla

• dep: libmpfr6 (>= 3.1.3)

  calcoli in virgola mobile a precisione multipla

• dep: ocaml-base-nox-4.11.1

  virtual package provided by ocaml-base-nox

Download libapron-ocaml

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
ppc64el	0.9.10-9.1+b2	64.8 kB	1,020.0 kB	[list of files]