Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca The role of linearity in sharing analysis. (English) Zbl 1517.68071 Math. Struct. Comput. Sci. 32, No. 1, 44-110 (2022). MSC: 68N19 68N15 68P05 PDFBibTeX XMLCite \textit{G. Amato} et al., Math. Struct. Comput. Sci. 32, No. 1, 44--110 (2022; Zbl 1517.68071) Full Text: DOI
Amato, Gianluca; Rubino, Marco Experimental evaluation of numerical domains for inferring ranges. (English) Zbl 1525.68022 Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 3-16 (2018). MSC: 68N30 PDFBibTeX XMLCite \textit{G. Amato} and \textit{M. Rubino}, Electron. Notes Theor. Comput. Sci. 334, 3--16 (2018; Zbl 1525.68022) Full Text: DOI
Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca Exploiting linearity in sharing analysis of object-oriented programs. (English) Zbl 1345.68091 Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 3-18, electronic only (2016). MSC: 68N30 68N19 68Q55 PDFBibTeX XMLCite \textit{G. Amato} et al., Electron. Notes Theor. Comput. Sci. 322, 3--18 (2016; Zbl 1345.68091) 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; Lipton, James; McGrail, Robert On the algebraic structure of declarative programming languages. (English) Zbl 1187.68121 Theor. Comput. Sci. 410, No. 46, 4626-4671 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Amato} et al., Theor. Comput. Sci. 410, No. 46, 4626--4671 (2009; Zbl 1187.68121) 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