机译:功能逻辑程序的转换规则和策略
Departamento de Informdtica, UCLM, 02071 Albacete, Spain;
program transformation; functional logic programming; fold/unfold;
机译:基于规则的程序转换系统中策略的调查
机译:模糊逻辑与功能逻辑资源相结合的混合编程方案
机译:功能逻辑编程中的构造性失败:从理论到实现
机译:功能逻辑程序中返回状态的程序转换
机译:功能逻辑编程语言的抽象操作模型。
机译:促进大型系统转型的实施和可持续性的策略:一项提高老年人护理质量的国家计划的案例研究
机译:高阶功能逻辑编程的按需调用策略