9 citations · 14 across the 3 of their papers we have counts for
1 paper · 1 filter
Florian Zuleger, Sumit Gulwani, Moritz Sinn +1
The size-change abstraction (SCA) is an important program abstraction for termination analysis, which has been successfully implemented in many tools for functional and logic progr…