research
∙
08/16/2018
Compiling Control as Offline Partial Deduction
We present a new approach to a technique known as compiling control, who...
share
research
∙
08/24/2017
Transforming Coroutining Logic Programs into Equivalent CHR Programs
We extend a technique called Compiling Control. The technique transforms...
research
∙
05/13/2009
