Towards a framework for the abstract interpretation of loic programs (1988)

by U Nilsson
Venue:Proceedings of the International Workshop on Programming Language Implementation and Logic Programming