Computer Science – Logic in Computer Science
Scientific paper
2004-11-10
Computer Science
Logic in Computer Science
Scientific paper
We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. We first study closed modules (i.e. validity of the execution of a logic program), then extend the criterion to open modules (i.e. validity during the execution) distinguishing criteria for acyclicity and connectability in order to allow incremental verification.
Fouquere Christophe
Mogbil Virgile
No associations
LandOfFree
Modules and Logic Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Modules and Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modules and Logic Programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-480151