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