Ulf Nilsson
-
Live-structure dataflow analysis for Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming