Inproceedings,

Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.

, , and .
JTASPEFT/WSA, volume 74 of Series Bigre, page 132-138. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews