Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction., , and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 1-20. Springer, (2000)Towards a Generic Trace for Rule Based Constraint Reasoning, , , , and . CoRR, (2012)Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning, and . CoRR, (2010)Une sémantique opérationnelle algébrique de programmes PROLOG.. SPLT, (1983)Une vue méthodologique de la Programmation en Logique avec négation., and . SPLT, page 403-. (1989)Un nouveau traceur générique pour GNU-Prolog., and . JFPLC, page 97-110. Hermes/Lavoisier, (2003)Proof and Synthesis of Semantic Attributes in Compiler Definition. rapport de recherche, 333. IRIA-Laboria, Rocquencourt, (December 1978)Validation des grammaires d'attributs. thèse d'État, University de Bordeaux~I, (October 1984)Description par attributs sémantiques de Lisp pur et preuve de l'équivalence de la définition traductive et de l'évaluateur. rapport de recherche, 220. IRIA-Laboria, Rocquencourt, (March 1977)Preuve et génération d'attributs sémantiques. Coll. AFCET ``Théorie et Techniques de l'Informatique'', Vol. 1, Gif-sur-Yvette, See also: rapport de recherche 302, IRIA-Laboria, Rocquencourt (May 1978)..(November 1978)