A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation - Archive ouverte HAL Access content directly
Conference Papers Year : 2003

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

(1) , (2)
1
2
Ludovic Langevine
  • Function : Author
SICS
Mireille Ducassé
Logical Information Systems

Domains

Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Programming Languages [cs.PL]

Mireille Ducassé  : Connect in order to contact the contributor

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

Submitted on : Friday, November 23, 2012-6:38:52 PM

Last modification on : Tuesday, October 19, 2021-11:58:50 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-00756836 , version 1

Cite

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⟩

Export

BibTeX 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
103 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More