A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation

Ludovic Langevine
  • Fonction : Auteur
SICS
Mireille Ducassé
Logical Information Systems

Domaines

Génie logiciel [cs.SE] Langage de programmation [cs.PL]

Mireille Ducassé  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00756836

Soumis le : vendredi 23 novembre 2012-18:38:52

Dernière modification le : vendredi 24 mars 2023-14:52:56

Fichier non déposé

Dates et versions

hal-00756836 , version 1 (23-11-2012)

Identifiants

  • HAL Id : hal-00756836 , version 1

Citer

Ludovic Langevine, Mireille Ducassé. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. International Conference on Logic Programming, 2003, Mumbay, India. ⟨hal-00756836⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-INSA-R IRISA-D7 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
108 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More