toutes les options
[  bullseye  ]
[ Paquet source : apron  ]

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

Liens pour libapron-ocaml-dev

Screenshot

Ressources Debian :

Télécharger le paquet source apron :

Responsable :

Ressources externes :

Paquets similaires :

bibliothèque d'interprétation abstraite — 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 fournit les fichiers nécessaires à l'utilisation de la bibliothèque APRON dans OCaml.

É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, Programme, But: use::analysing, use::checking

Autres paquets associés à libapron-ocaml-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libapron-ocaml-dev

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.9.10-9.1+b2 1 304,7 ko14 581,0 ko [liste des fichiers]
arm64 0.9.10-9.1+b2 1 236,7 ko14 476,0 ko [liste des fichiers]
armhf 0.9.10-9.1+b2 1 263,2 ko10 542,0 ko [liste des fichiers]
i386 0.9.10-9.1+b2 1 515,5 ko13 516,0 ko [liste des fichiers]