2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Jorge Fandinno, Zachary Hansen, Yuliya Lierler +2
Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming langu…