Article View: comp.lang.prolog
Article #2105Re: looking for citation - formal semantics
From: Peter Sestoft
Date: Mon, 13 May 1991 07:58
Date: Mon, 13 May 1991 07:58
24 lines
1638 bytes
1638 bytes
citrin@boulder.Colorado.EDU (Wayne Citrin) writes:
>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?
The/one reference is:
@INPROCEEDINGS{ Jones:87:ASemantics-BasedFramework,
AUTHOR = "N.D. Jones and H. S{\o}ndergaard",
TITLE = "A Semantics-Based Framework for the Abstract
Interpretation of {P}rolog",
BOOKTITLE = "Abstract Interpretation of Declarative Languages",
EDITOR = "S. Abramsky and C. Hankin",
PUBLISHER = "Ellis Horwood",
ADDRESS = "Chichester, England",
YEAR = "1987",
PAGES = "123-142"}
--
Peter Sestoft * sestoft@diku.dk * DIKU, Department of Computer Science
University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
Tel: +45 31 39 64 66 * Direct: +45 31 39 33 11/406 * Fax: +45 31 39 02 21
Technical Details
Message-ID:
<1991May13.075831.8122@odin.diku.dk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!bloom-beacon!eru!hagbard!sunic!dkuug!diku!sestoftReferences:
<1991May8.212850.20566@colorado.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!bloom-beacon!eru!hagbard!sunic!dkuug!diku!sestoft From: sestoft@diku.dk (Peter Sestoft) Newsgroups: comp.lang.prolog Subject: Re: looking for citation - formal semantics Message-ID: <1991May13.075831.8122@odin.diku.dk> Date: 13 May 91 07:58:31 GMT References: <1991May8.212850.20566@colorado.edu> Sender: sestoft@hugin.diku.dk Organization: Department of Computer Science, U of Copenhagen Lines: 24