Modernizzazione di una libreria C++

La Parma Polyhedra Library (https://www.bugseng.com/content/parma-polyhedra-library) è una libreria citata da centinaia di pubblicazioni scientifiche (https://www.sciencedirect.com/science/article/pii/S0167642308000415, https://scholar.google.com/citations?view_op=view_citation&hl=ja&user=6ODJ4wIAAAAJ&citation_for_view=6ODJ4wIAAAAJ:9yKSN-GCB0IC) e usata in altrettanti progetti.

L’attività proposta consiste nella modernizzazione della libreria per sfruttare appieno le possibilità offerte dalle moderne versioni del linguaggio C++ nella versione C++20. In particolare, il lavoro consisterà nel refactoring per utilizzare le seguenti possibilità offerte dal C++ (a partire dalla versione C++11): costruttori di delega, costruttori e operatori di spostamento, riferimenti a rvalue, asserzioni statiche, operatore di specifica constexpr.

Il tirocinante sarà inserito all’interno di un gruppo di lavoro formato da dipendenti BUGSENG con una grande esperienza di progettazione e programmazione. E’ inteso che il lavoro di tirocinio non si estenderà oltre i limiti temporali e di impegno previsti dalle normative applicabili e che il completamento del refactoring della libreria è a carico di BUGSENG.