Titre : Using rewriting techniques to produce code-generators and proving them correct

Production et preuve de générateurs de code par techniques de réécriture

Annie Despland
Monique Mazaud. Auteur
Raymond Rakotozafy. Auteur
Le Chesnay, France
Institut National de Recherche en Informatique et en Automatique
1989
31 p. ; 30 cm

xx Réécriture, Systèmes de (informatique)
xx Arbres (théorie des graphes)
xx Compilateurs (logiciels)

Bibliogr. : pp. 30-31.

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   EM AI CI6361