16 citations · 41 across the 8 of their papers we have counts for
1 paper · 1 filter
Jean-Yves Marion, Romain Pechoux
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with…