机译:通过专业化和减少不确定性推导高效逻辑程序
DISP, University of Roma Tor Vergata, Via del Politecnico 1,I-00133, Roma, Italy;
automatic program derivation; program transformation; program specialization; logic programming; transformation rules and strategies;
机译:逻辑程序的有界不确定性
机译:基于谓词的基于谓词的归纳逻辑编程专业化
机译:基于所需范围缩小功能逻辑程序的专业化
机译:减少不确定性,同时使逻辑程序专业化
机译:逻辑程序的有效共享分析。
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:通过专业化和减少不确定性来推导有效的逻辑程序
机译:具有运行时测试的逻辑程序的多种专业化。