×

Found 7 Documents (Results 1–7)

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

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

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software