Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!elroy.jpl.nasa.gov!ncar!csn!boulder!boulder!citrin
From: citrin@boulder.Colorado.EDU (Wayne Citrin)
Newsgroups: comp.lang.prolog
Subject: looking for citation - formal semantics
Message-ID: <1991May8.212850.20566@colorado.edu>
Date: 8 May 91 21:28:50 GMT
Sender: news@colorado.edu (The Daily Planet)
Reply-To: citrin@soglio.Colorado.EDU (Wayne Citrin)
Organization: University of Colorado, Boulder
Lines: 13
Nntp-Posting-Host: soglio.colorado.edu

I have a tech report from the University of Copenhagen, from 1986, entitled
"A Semantics-Based Framework for the Abstract Interpretation of Prolog",
by Neil Jones and Harald Sondergaard.  I'd like to cite it, but I'd prefer
to cite a published version.  Can someone supply me with a published citation?

Thanks.

Wayne


Wayne Citrin
citrin@soglio.colorado.edu
citrin@boulder.colorado.edu