14 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…