机译:在Prolog指令中实现抽象数据类型的形式和实践方面
Department of Computer Science, Holon Institute of Technology and Department of Science Teaching, The Weizmann Institute of Science Rehovot 76100, Israel;
abstract data types; information hiding; black boxes; grey boxes; logic programming;
机译:抽象数据类型的形式化规范及其在FORTRAN 90中的实现-有关指针使用的实现问题
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:从抽象规范直接实现抽象数据类型
机译:从正式代数规格验证抽象数据类型实现的创新教学工具
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:捕获临床数据编码临床知识—在正式临床本体中实现双重视角
机译:在Prolog教学中实施抽象数据类型的正式和实践方面