Complementation in abstract interpretation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Abstract interpretation based verification of logic programs
Science of Computer Programming
Hi-index | 0.00 |