Paket: libapron-ocaml-dev (0.9.10-9 ve diğerleri)

[ Kaynak: apron  ]

abstract interpretation library (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 contains the files necessary to use the APRON library in OCaml.

Etiketler: Yazılım Geliştirme: OCaml Geliştirme, Kitaplıklar, Test ve Kalite Güvencesi, Geliştirildiği dil: implemented-in::c, implemented-in::ocaml, Rol: Geliştirme Kitaplığı, Program, Amaç: use::analysing, use::checking

libapron-ocaml-dev ile İlgili Diğer Paketler

• dep: libapron-dev

  abstract interpretation library

• dep: libapron-ocaml-88t95 [armhf, i386]

  sanal paketi sağlayan libapron-ocaml

• dep: libapron-ocaml-d1hi5 [amd64, arm64]

  sanal paketi sağlayan libapron-ocaml

• dep: ocaml-nox-4.05.0

  sanal paketi sağlayan ocaml-nox

libapron-ocaml-dev indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	0.9.10-9+b3	1.258,5 kB	14.611,0 kB	[dosya listesi]
arm64	0.9.10-9+b3	1.126,7 kB	13.358,0 kB	[dosya listesi]
armhf	0.9.10-9+b4	1.220,4 kB	10.468,0 kB	[dosya listesi]
i386	0.9.10-9+b3	1.477,4 kB	13.574,0 kB	[dosya listesi]