Les publications du Laboratoire

Les publications parues en 1996

Communications avec actes dans un congrès international

  1. Frédéric Mesnard — Inferring Left-terminating Classes of Queries for Constraint Logic Programs, JICSLP, pp. 7-21, 1996.
  2. Frédéric Mesnard, Sébastien Hoarau et Alexandra Maillard — CLP(chi) for Proving Program Properties, FroCoS, pp. 321-338, 1996.

Communications avec actes dans un congrès national

  1. Sébastien Hoarau et Frédéric Mesnard — PLC(Bool) pour la détection de variables numériques bornées, JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France, pp. 169-184, publication dirigée par Jean-Louis Imbert, Hermes, 1996.