搜索结果: 1-1 共查到“工学 Directional Type”相关记录1条 . 查询时间(0.125 秒)
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...