PPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification. While being derived from the PPL (Parma Polyhedra Library), PPLite has a very different goal: to provide researchers and students with a lightweight framework for experimenting with new ideas and algorithms in the context of polyhedral computations.
PPLite 0.3 / Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino. - (2018).
PPLite 0.3
Enea Zaffanella
Supervision
;Anna Becchi
Membro del Collaboration Group
;
2018-01-01
Abstract
PPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification. While being derived from the PPL (Parma Polyhedra Library), PPLite has a very different goal: to provide researchers and students with a lightweight framework for experimenting with new ideas and algorithms in the context of polyhedral computations.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.