An abstract interpretation framework for optimizing dynamic modular logic languages
scientific article; zbMATH DE number 984590