maurice@kulcs.UUCP (Maurice Bruynooghe) (09/29/87)
abstract interpretation I have finished a paper titled "a framework for the abstract interpretation of logic programs". It contains a precise and detailed account of the framework which is roughly sketched in the paper presented at SLP87, San Francisco. Everyone with a strong interest in the topic can obtain a copy by sending me his postal address. Maurice Bruynooghe Department Computer Science Celestijnenlaan 200A B 3030 Heverlee BELGIUM Email: maurice@kulcs