The replacement operation for CLP modules


Etalle, Sandro and Gabbrielli, Maurizio (1995) The replacement operation for CLP modules. In: Partial Evaluation and Semantics-Based Program Manipulation, PEPM, June 21-23, 1995, La Jolla, CA, USA (pp. pp. 168-177).

open access
Abstract:In this paper we study the replacement transformation for Constraint Logic Programming modules. We define new applicabihty conditions which guarantee the correctness of the operation also wrt module¿s composition: under this conditions, the original and the transformed modules have the same observable properties also when they are composed with other modules. Furthermore, the applicability y conditions are uot bound to a specific notion of observable. Here we consider three distinct such notions: two of them are operational and are based on the computed constraints; the third one is the algebraic one based on the least model. We show that our transformation method can be applied in any of these distinct contexts, thus providing a parametric approach.
Item Type:Conference or Workshop Item
Copyright:© 1995 ACM Press
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page