搜索结果: 1-1 共查到“计算机科学技术 type checking”相关记录1条 . 查询时间(0.14 秒)
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...