机译:如此不同但如此相似? - 或相反亦然?逻辑编程和面向对象编程范例的探索
机译:用于验证面向对象编程法则条件的逻辑编程
机译:面向对象并发编程中一种接受递归方法调用的有效方案
机译:面向对象程序的逻辑中的递归对象类型
机译:一种将类型安全的静态上下文鸭子键入添加到面向对象的编程语言的方法。
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:面向对象的无递归类型编程
机译:shlaer-mellor面向对象分析和递归设计,是一种有效的现代软件开发方法,用于开发大型物理探测器的计算系统