搜索结果: 1-1 共查到“计算机运行测试与性能评价 Checking”相关记录1条 . 查询时间(0.062 秒)
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...