2 citations · 2 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2007★ 2 cited
Resource control of object-oriented programs
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…
cs.PL2000
The Light Lexicographic path Ordering
E. A. Cichon, J-Y. Marion
We introduce syntactic restrictions of the lexicographic path ordering to obtain the Light Lexicographic Path Ordering. We show that the light lexicographic path ordering leads to…