搜索结果: 1-2 共查到“工学 Logic Programs”相关记录2条 . 查询时间(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...
Detecting Races in Relay Ladder Logic Programs
Detecting Races Relay Ladder Logic Programs
2016/5/24
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extreme...