( en | de | ru )

 

Disambiguation of "Deransart, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Relating Logic Programs and Attribute Grammars.

, and . J. Log. Program., 2 (2): 119-155 (1985)

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.

Pierre Gottschlich

Pierre Mattern

Pierre Mangold

Pierre Venet

Pierre Nyabyenda

 

Other publications of authors with the same name

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)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)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)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)Prolog et types abstraits algébriques.. SPLT, (1982)Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques.. SPLT, page 41-. (1989)Modelling Data Dependencies in Logic Programs by Attribute Schemata, and . rapport RR, 323. INRIA, Rocquencourt, (July 1984)