×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field