Logical optimality of groundness analysis
Theoretical Computer Science
Parameterizing a Groundness Analysis of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Abstract interpretation based verification of logic programs
Science of Computer Programming
Counterexample-guided abstraction refinement for PLCs
SSV'10 Proceedings of the 5th international conference on Systems software verification
Hi-index | 0.00 |