机译:使用约束逻辑编程和程序转换有效生成测试数据结构
机译:基于约束逻辑规划的故障定位的重量优先切片
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:约束逻辑面向对象编程中的引用类型逻辑变量
机译:面向对象程序的基于标准的混合切片算法。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:关于(约束)逻辑编程的第29和第30届讲习班 和第24届功能和(约束)逻辑国际研讨会 程序设计
机译:逻辑编程和细化微积分:基于语义的程序转换