STARLET: un langage pour une programmation logique fiable

Jean Beney, Jean-François Boulicaut. STARLET: un langage pour une programmation logique fiable. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 253, 1986.

Abstract

Abstract is missing.