Paper Info
Title
Modules and Logic Programming
Abstract
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.
Year
Venue
Field
2004
Clinical Orthopaedics and Related Research
Logic program,Programming language,Computer science,Logic optimization,Correctness,Algorithm,Multimodal logic,Bunched logic,Theoretical computer science,Logic programming,AND gate,Dynamic logic (modal logic)
DocType
Volume
Citations 
Journal
cs.LO/0411
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Christophe Fouqueré12810.68
Virgile Mogbil2696.77