Montenegro, Manuel; Nieva, Susana; Peña, Ricardo; Segura, Clara Liquid types for array invariant synthesis. (English) Zbl 1495.68138 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 289-306 (2017). MSC: 68Q60 03B70 68N18 PDFBibTeX XMLCite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 10482, 289--306 (2017; Zbl 1495.68138) Full Text: DOI
Montenegro, Manuel; Peña, Ricardo; Segura, Clara A resource-aware semantics and abstract machine for a functional language with explicit deallocation. (English) Zbl 1347.68054 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 167-182 (2009). MSC: 68N18 03B70 68N15 68N20 68N30 68P05 68Q55 PDFBibTeX XMLCite \textit{M. Montenegro} et al., Electron. Notes Theor. Comput. Sci. 246, 167--182 (2009; Zbl 1347.68054) Full Text: DOI