Accession Number:

ADA281497

Title:

Position Papers for the First Workshop on Principles and Practice of Constraint Programming Held in Newport, Rhode Island on April 28-30, 1993

Descriptive Note:

Corporate Author:

BROWN UNIV PROVIDENCE RI

Personal Author(s):

• Ait-Kaci, Hassan
• Podelski, Andreas

Report Date:

1993-04-30

Pagination or Media Count:

326.0

Abstract:

Partial contents Entailment and Disentailment of Order-Sorted Feature Constraints Using a Visual Constraint Language for Data Display Specification The Geometry in Constraint Logic Programs On the Semantics of Optimization Predicates in CLP Languages A Higher-Order Extension of Constraint Programming in Discourse Analysis Practical Issues in Programming Constraints Memorization in Constraint Logic Programming Exploiting Constraint Dependency Information For Debugging and Explanation.

Descriptors:

• *COMPUTER PROGRAMMING
• *WORKSHOPS
• OPTIMIZATION
• SPECIFICATIONS
• DEBUGGING(COMPUTERS)
• DATA DISPLAYS
• SEMANTICS
• COMPUTER LOGIC

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE