Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!gatech!usenet.eel.ufl.edu!news.ultranet.com!zombie.ncsc.mil!news.mathworks.com!newsfeed.internetmci.com!howland.reston.ans.net!surfnet.nl!newshost.vu.nl!cs.vu.nl!ctv
From: ctv@cs.vu.nl (ctv)
Subject: Abstract Interpretation and Prolog ...
Nntp-Posting-Host: contest.cs.vu.nl
Sender: news@cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Date: Wed, 19 Jun 1996 09:13:21 GMT
X-Newsreader: TIN [version 1.2 PL2]
Message-ID: <Dt8pMA.HE5.0.-s@cs.vu.nl>
Lines: 8


 I would like to have some pointers to "abstract interpretation"
 concepts/techniques for Prolog.  Papers from a historical as well
 as "state-of-the-art" point of view.
 Thank you for your help,

 --ctv

