1 paper
R. Giacobazzi, F. Ranzato, F. Scozzari
In this paper we show that reversible analysis of logic languages by abstract interpretation can be performed without loss of precision by systematically refining abstract domains.…