Magnani, Francesco (2025) Static Analysis of Aggregate Programs through Compiler Plugins. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria e scienze informatiche [LM-DM270] - Cesena