In this paper a formal model for program dependence analysis of concurrent logic programs is proposed with the following contributions. First, two languageindependent program representations are presented for explicitly representing control ows and/or data ows in a concurrent logic program. Then based on these representations, program dependences between literals in concurrent logic programs ar...

One of the most significant impacts on product development in recent years has been made by the application of data management techniques, which are known as product data management, engineering data management, engineering documentation management, and integrated product data management. The initial objective of applying these techniques was to provide methods for the storage and retrieval of ...