Program Dependence Graph for logic programs ? 
Author Message
 Program Dependence Graph for logic programs ?

Hi,

I am looking for any work on the Program Dependence Graph (PDG) representation
of logic programs. This notion is well defined for imperative programs.

In particular, it is proved that an imperative program is isomorphic to its
PDG representation.

I would like to know if some work has been done in the logic programming
community to define the PDG of a logic program so that this property holds
as well.

Any help will be appreciated.

Stephane Schoenig
PhD student
IRISA



Fri, 10 Jul 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Data dependence analysis of logic programs

2. Dependence analysis of logic programs

3. Needed: Ladder Logic to State Graph Program

4. Needed: Ladder Logic to State Graph Program

5. CFP: PLILP93 Programming Language Implementation and Logic Programming

6. CFP: PLILP'93 (Programming Language Implementation and Logic Programming)

7. Logic Programming as an Introductory Programming Paradigm

8. Logic Programming an Introductory Programming Paradigm

9. PhD Programs in Logic Programming

10. Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

11. CFP: PLILP93 Programming Language Implementation and Logic Programming

12. CFP: PLILP'93 (Programming Language Implementation and Logic Programming)

 

 
Powered by phpBB® Forum Software