Proving Correctness of Constraint Logic Programs with Dynamic Scheduling

• Authors:

• Frank S. de Boer;Maurizio Gabbrielli;Catuscia Palamidessi

• Affiliations:

• -;-;-

• Venue:
• SAS '96 Proceedings of the Third International Symposium on Static Analysis
• Year:
• 1996