Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT

Román-Díez, GuillermoRubio, AlbertAlbert Albiol, Elvira MaríaCorreas Fernández, JesúsGordillo Alguacil, Pablo2025-06-242025-06-242024-09-1910.1145/3650212.3680352https://hdl.handle.net/20.500.14352/121778engSynthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMTconference paperhttps://doi.org/10.1145/3650212.3680352http://costa.fdi.ucm.es/papers/costa/AlbertCGRR24.pdfopen accessInformática (Informática)1203.17 Informática