搜索结果: 1-1 共查到“计算机运行测试与性能评价 Checking”相关记录1条 . 查询时间(0.039 秒)
Directional Type Checking of Logic Programs
Directional Type Checking Logic Programs
font style='font-size:12px;'>
2016/5/24
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...