×

Found 3 Documents (Results 1–3)

Linear absolute value relation analysis. (English) Zbl 1326.68086

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 156-175 (2011).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

An abstract domain to discover interval linear equalities. (English) Zbl 1273.68081

Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 112-128 (2010).
MSC:  68N30 65F99 65G40
PDFBibTeX XMLCite
Full Text: DOI

Interval polyhedra: an abstract domain to infer interval linear relationships. (English) Zbl 1248.68140

Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 309-325 (2009).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software