12 citations · 31 across the 17 of their papers we have counts for
1 paper · 2 filters
Michael Leuschel, Salvador Tamarit, German Vidal
Some recent approaches for scalable offline partial evaluation of logic programs include a size-change analysis for ensuring both so called local and global termination. In this wo…