Type-based Termination Analysis for Parsing Expression Grammars.

Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro

Browse the full SAC paper archive.