Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca On collecting semantics for program analysis. (English) Zbl 1440.68167 Theor. Comput. Sci. 823, 1-25 (2020). MSC: 68Q55 68N18 PDFBibTeX XMLCite \textit{G. Amato} et al., Theor. Comput. Sci. 823, 1--25 (2020; Zbl 1440.68167) Full Text: DOI
Amato, Gianluca; Scozzari, Francesca Optimal multibinding unification for sharing and linearity analysis. (English) Zbl 1311.68041 Theory Pract. Log. Program. 14, No. 3, 379-400 (2014). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Amato} and \textit{F. Scozzari}, Theory Pract. Log. Program. 14, No. 3, 379--400 (2014; Zbl 1311.68041) Full Text: DOI arXiv
Amato, Gianluca; Scozzari, Francesca On the interaction between sharing and linearity. (English) Zbl 1183.68156 Theory Pract. Log. Program. 10, No. 1, 49-112 (2010). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Amato} and \textit{F. Scozzari}, Theory Pract. Log. Program. 10, No. 1, 49--112 (2010; Zbl 1183.68156) Full Text: DOI
Amato, Gianluca; Scozzari, Francesca Optimality in goal-dependent analysis of sharing. (English) Zbl 1181.68095 Theory Pract. Log. Program. 9, No. 5, 617-689 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Amato} and \textit{F. Scozzari}, Theory Pract. Log. Program. 9, No. 5, 617--689 (2009; Zbl 1181.68095) Full Text: DOI