Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella. Speeding up Static Analysis with the Split Operator. In Pietro Ferrara 0001, Liana Hadarean, editors, Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023. pages 14-19, ACM, 2023. [doi]
Abstract is missing.