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