Computer Science Department, University of California at Santa Cruz, CA, USA;
机译:如此不同但如此相似? - 或相反亦然?逻辑编程和面向对象编程范例的探索
机译:用于验证面向对象编程法则条件的逻辑编程
机译:针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
机译:约束逻辑面向对象编程中的引用类型逻辑变量
机译:使用方面的面向对象的流编程:混合平台的高生产率编程范例。
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:面向对象程序中示例驱动模式检测的逻辑元编程基础