Home > Archive > Prolog > December 2004 > Predicate dependency graph
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Predicate dependency graph
|
|
| Alexander Serebrenik 2004-11-29, 8:57 pm |
| Dear all,
I've been wondering who has introduced the notion of a predicate
dependency graph? The earliest mentioning of this structure I was able
to find so far is due to Kenneth Kunen (Signed Data Dependency in LP,
JLP 7(3):978-992, 1989; presumably based on a technical report with
same name from 1987). I'm also aware of a similar notion in Lutz
Pluemer's thesis (1989 as a thesis; 1990 as an LNCS volume).
Best regards,
Alexander
| |
| Jamie Andrews; real address @ bottom of message 2004-12-02, 4:05 pm |
| Hi Alex...
Alexander Serebrenik <A.Serebrenik@tue.nl> wrote:
> Dear all,
> I've been wondering who has introduced the notion of a predicate
> dependency graph? The earliest mentioning of this structure I was able
> to find so far is due to Kenneth Kunen (Signed Data Dependency in LP,
> JLP 7(3):978-992, 1989; presumably based on a technical report with
> same name from 1987). I'm also aware of a similar notion in Lutz
> Pluemer's thesis (1989 as a thesis; 1990 as an LNCS volume).
Is this the graph in which predicate p depends on q if p
calls q? If so, then it is a straightforward extension of the
notion of program dependency graph for imperative and functional
languages.
--Jamie. (a Dover edition designed for years of use!)
andrews .uwo } Merge these two lines to obtain my e-mail address.
@csd .ca } (Unsolicited "bulk" e-mail costs everyone.)
|
|
|
|
|