Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!mcvax!prlb2!kulcs!maurice
From: maurice@kulcs.UUCP (Maurice Bruynooghe)
Newsgroups: comp.lang.prolog
Subject: abstract interpretation
Message-ID: <963@kulcs.UUCP>
Date: Tue, 29-Sep-87 11:25:47 EDT
Article-I.D.: kulcs.963
Posted: Tue Sep 29 11:25:47 1987
Date-Received: Sun, 4-Oct-87 21:01:36 EDT
Reply-To: maurice@kulcs.UUCP ()
Distribution: world
Organization: Katholieke Universiteit Leuven, Dept. Computer Science
Lines: 14

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