Paquet : libapron-ocaml (0.9.10-9.1 et autres)

[ Paquet source : apron  ]

bibliothèques d'exécution pour APRON — interface OCaml

La bibliothèque APRON est dédiée à l'analyse statique des variables numériques d'un programme par interprétation abstraite. Le but d'une telle analyse est d'inférer des invariants sur ces variables. La bibliothèque est destinée à être une interface commune à divers domaines abstraits ou bibliothèques sous-jacents et de fournir des services supplémentaires qui peuvent être implémentés indépendamment de la bibliothèque ou du domaine abstrait sous-jacent.

Ce paquet comprend seulement les bibliothèques dynamiques nécessaires à l'exécution des pseudo-codes exécutables dynamiques.

Étiquettes: Développement de logiciel: Programmation OCaml, Bibliothèques, Tests et assurance qualité, Mis en œuvre en: implemented-in::c, implemented-in::ocaml, Rôle: Bibliothèque de programmation, role::program, role::shared-lib, But: Analyse, Vérification

Autres paquets associés à libapron-ocaml

• dep: libapron

  bibliothèques d'exécution pour APRON

• dep: libc6 (>= 2.2)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgmp10

  Bibliothèque arithmétique à multi-précision

• dep: libmpfr6 (>= 3.1.3)

  calcul en virgule flotante avec une précision multiple

• dep: ocaml-base-nox-4.11.1

  paquet virtuel fourni par ocaml-base-nox

Télécharger libapron-ocaml

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
mipsel	0.9.10-9.1+b2	49,5 ko	306,0 ko	[liste des fichiers]