2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…