looking for citation - formal semantics - Article 2095 - go-pugleaf

Article View: comp.lang.prolog

Article #2095

looking for citation - formal semantics

#2095

From: Wayne Citrin
Date: Wed, 08 May 1991 21:28

13 lines
935 bytes

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

Technical Details

Message-ID: <1991May8.212850.20566@colorado.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!elroy.jpl.nasa.gov!ncar!csn!boulder!boulder!citrin

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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