搜索结果: 1-2 共查到“工学 Predicates”相关记录2条 . 查询时间(0.046 秒)
Simplifying Loop Invariant Generation Using Splitter Predicates
Static analysis invariant generation decomposition of multiphase loops
2016/5/24
We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our technique decomposes multi-phase loops...
IMPLEMENTING TOPOLOGICAL PREDICATES FOR COMPLEX REGIONS
TOPOLOGICAL PREDICATES COMPLEX REGIONS
2015/3/17
IMPLEMENTING TOPOLOGICAL PREDICATES FOR COMPLEX REGIONS.