JFLP: Volume 1996, Article 1

The Journal of Functional and Logic Programming

Volume 1996

Article 1

Published by The MIT Press . Copyright 1996 Massachusetts Institute of Technology.

Your institution may already be a subscriber to JFLP. If not, please subscribe for legitimate access to all journal articles.

On the Correctness of the Replacement Operation for CLP Modules

Sandro Etalle and Maurizio Gabbrielli

21 February 1996

Abstract

In this paper we study the replacement transformation for Constraint Logic Programming modules. We define new applicability conditions that guarantee the correctness of the operation also wrt module's composition : under these conditions, the original and the transformed modules have the same observable properties also when they are composed with other modules. The applicability conditions are not bound to a specific notion of observable. Here we consider three distinct such notions. Two are operational and are based on the computed constraints; the third 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.

The following versions of the article are available:

• Preformatted versions of the article (compressed with gzip )
  • DVI (71 kb)
  • PostScript (132 kb)
• Source materials for custom formatting
  • LaTeX ( JFLP-A96-01.tex , 36 kb)
  • BIBTeX ( JFLP-A96-01.bib , 3 kb)
  • Parameter settings for custom formatting ( cjropts.tex , 106 bytes)

You can find this article also on the ftp-server of The MIT Press (access may be faster from some sites).

Self citation

    @article{jflp96-01,
      author={Sandro Etalle and Maurizio Gabbrielli},
      title={On the Correctness of the Replacement Operation for CLP Modules},
      journal={Journal of Functional and Logic Programming},
      volume={1996},
      number={1},
      publisher={The MIT Press},
      month={February},
      year={1996}
    }

Main page