32 citations · 78 across the 16 of their papers we have counts for
1 paper · 2 filters
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…