Author:
Genet Thomas,Gillard Tristan,Haudebourg Timothée,Lê Cong Sébastien
Publisher
Springer International Publishing
Reference22 articles.
1. Avanzini, M., Dal Lago, U., Moser, G.: Analysing the complexity of functional programs: higher-order meets first-order. In: ICFP 2015, pp. 152–164. ACM (2015)
2. Boichut, Y., Héam, P.-C.: A theoretical limit for safety verification techniques with regular fix-point computations. IPL 108(1), 1–2 (2008)
3. Lecture Notes in Computer Science;Y Boichut,2015
4. Lecture Notes in Computer Science;M Clavel,2007
5. Comon, H., et al.: Tree Automata Techniques and Applications (2008). http://tata.gforge.inria.fr