Techniques de transformations de programmes Prolog gnraux et validation de mta-interprteurs.

Anne Parrain, Philippe Devienne, Patrick Lebgue

Browse the full SAS paper archive.