65 citations · 211 across the 36 of their papers we have counts for
4 papers · 1 filter
Termination of modulo rewriting using the size-change principle (work in progress)
Frédéric Blanqui, Guillaume Genestier
The Size-Change Termination principle was first introduced to study the termination of first-order functional programs. In this work, we show that it can also be used to study the…
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Frédéric Blanqui, Giselle Reis
This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on J…
Higher-order dependency pairs
Frédéric Blanqui
Arts and Giesl proved that the termination of a first-order rewrite system can be reduced to the study of its "dependency pairs". We extend these results to rewrite systems on simp…
Size-based termination of higher-order rewriting
Frédéric Blanqui
We provide a general and modular criterion for the termination of simply-typed -calculus extended with function symbols defined by user-defined rewrite rules. Following a work…