Timothée Haudebourg

Automatic verification of higher-order functional programs using regular tree languages

2020 · HAL (Le Centre pour la Communication Scientifique Directe)

This thesis studies how regular tree languages can be used to automatically verify properties on higher-order functional programs. Our goal is to develop new techniques and tools for the programmers to develop safer programs while …