3 papers
cs.CR2007
On the defence notion
Anne Bonfante, Jean-Yves Marion
'Trojan horses', 'logic bombs', 'armoured viruses' and 'cryptovirology' are terms recalling war gears. In fact, concepts of attack and defence drive the world of computer virology,…
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…