Article View: comp.lang.prolog
Article #2792abstract interpretation
From: Maurice Bruynooghe
Date: Tue, 29 Sep 1987 15:25
Date: Tue, 29 Sep 1987 15:25
14 lines
1004 bytes
1004 bytes
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
Technical Details
Message-ID:
<963@kulcs.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!prlb2!kulcs!mauriceShow Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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