Paket: libapron-dev (0.9.10-9.1)

[ Källkod: apron  ]

abstract interpretation library

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 C.

Märken: Software Development: C Development, Bibliotek, Testing and QA, Implemented in: implemented-in::c, role::devel-lib, Role: Program, Purpose: Analysing, Checking

Andra paket besläktade med libapron-dev

• dep: libapron

  runtime libraries for APRON

• dep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• dep: libmpfr-dev

  multiple precision floating-point computation developers tools

• dep: libppl-dev

  Parma Polyhedra Library (development)

Hämta libapron-dev

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	128,6 kbyte	1.414,0 kbyte	[filförteckning]