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

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.
PPLite 0.3 / Zaffanella, Enea; Becchi, Anna; Cristini, Fabio; Ceresini, Gino. - (2018).
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11381/2852233
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact