Article View: comp.lang.prolog
Article #12Re: Difference Lists (was: Rotation, or something...)
From: Lee Naish
Date: Mon, 26 Oct 1992 05:25
Date: Mon, 26 Oct 1992 05:25
12 lines
1126 bytes
1126 bytes
In article <BwKJ9J.C6M@gabriel.keele.ac.uk> csa09@seq1.keele.ac.uk (Paul Singleton) writes: >Presumably the single-threadedness (or otherwise) of an argument in a >program be determined statically? Of course not. Checking pretty well every useful property is undecidable. The trick is to find good safe approximations. In this case we want programs+goals where uses of append can be replaced by uses of difference pairs without changing the behavior. Note that introducing difference pairs generally changes the behavior of the program for some goals. lee
Technical Details
Message-ID:
<9230016.20734@mulga.cs.mu.OZ.AU>Path:
arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!sgiblab!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!leeReferences:
<1992Oct22.133612.14043@email.tuwien.ac.at> <BwKJ9J.C6M@gabriel.keele.ac.uk>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!sgiblab!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!lee From: lee@munta.cs.mu.OZ.AU (Lee Naish) Subject: Re: Difference Lists (was: Rotation, or something...) Message-ID: <9230016.20734@mulga.cs.mu.OZ.AU> Sender: news@cs.mu.OZ.AU Organization: Department of Computer Sci, University of Melbourne References: <1992Oct22.133612.14043@email.tuwien.ac.at> <BwKJ9J.C6M@gabriel.keele.ac.uk> Date: Mon, 26 Oct 1992 05:25:59 GMT Lines: 12