16 citations · 41 across the 8 of their papers we have counts for
1 paper · 2 filters
Jean-Yves Marion, Romain Pechoux
In a previous paper, the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static analysi…