SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 03:40 - 04:00 at SPLASH-IV - Papers Chair(s): Liqian Chen, Khalil Ghorbal

This paper presents a framework to abstract data structures within Horn clauses that allows abstractions to be easily expressed, compared, composed and implemented. These abstractions introduce new quantifiers that we eliminate with quantifier elimination techniques.

We study the case of arrays and our experimental evaluation show promising results on classical array programs.

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20: PapersNSAD at SPLASH-IV
Chair(s): Liqian ChenNational University of Defense Technology, China, Khalil GhorbalInria, France
03:00 - 03:20
Paper
NSAD
03:20 - 03:40
Paper
NSAD
Santiago BautistaUniv Rennes, ENS Rennes, Inria, IRISA, Thomas P. JensenINRIA Rennes, BenoƮt MontaguInria
03:40 - 04:00
Paper
NSAD
Julien Braine, Laure GonnordUniversity of Lyon & LIP, France
04:00 - 04:20
Paper
NSAD
Tengbin Wang, Liqian ChenNational University of Defense Technology, China, Ji Wang