Raphael Douglas Giles

According to our database, Raphael Douglas Giles authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

T-Rex.

Raphael Douglas Giles, Vincent Jackson

Dataset, November, 2024

T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations.

Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2022

Termination of Recursive Functions by Lexicographic Orders of Linear Combinations.

Raphael Douglas Giles

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022