机译:基于所需范围缩小功能逻辑程序的专业化
DSIC, Technical University of Valencia, Camino de Vera s, E-46020 Valencia, Spain;
partial evaluation; functional logic programming; needed narrowing;
机译:缩小驱动的功能逻辑程序专业化方法
机译:懒函数逻辑程序的专业化
机译:基于谓词的基于谓词的归纳逻辑编程专业化
机译:使用抽象表示来专用功能逻辑程序
机译:多范式编程:用于在C ++中实现功能和逻辑编程结构的新型设备。
机译:是否存在维持神经元功能完整性和生存的分子逻辑?:脂质信号传导对于神经保护性神经元转录程序是必需的。
机译:基于需要缩小的功能逻辑程序的专业化
机译:具有运行时测试的逻辑程序的多种专业化。