Module: ppl/ppl Branch: ppl-1_0-branch Commit: 4bb66427092501c8c9fd641c0ae58ffd1370c186 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bb6642709250...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 28 14:19:30 2012 +0200

Added AmatoPS12.

---

doc/ppl_citations.bib | 20 ++++++++++++++++++++ 1 files changed, 20 insertions(+), 0 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 0e8e854..2e081fb 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -285,6 +285,26 @@ Summarizing: programs." }

+@Article{AmatoPS12, + Author = "G. Amato and M. Parton and F. Scozzari", + Title = "Discovering Invariants via Simple Component Analysis", + Journal = "Journal of Symbolic Computation", + Volume = 47, + Number = 12, + Year = 2012, + Pages = "1533--1560", + Abstract = "We propose a new technique combining dynamic and static + analysis of programs to find linear invariants. We use a + statistical tool, called simple component analysis, to + analyze partial execution traces of a given program. We + get a new coordinate system in the vector space of + program variables, which is used to specialize numerical + abstract domains. As an application, we instantiate our + technique to interval analysis of simple imperative + programs and show some experimental evaluations." +} + + @Inproceedings{AmatoS12, Author = "G. Amato and F. Scozzari", Title = "Random: R-Based Analyzer for Numerical Domains",