Using rewriting techniques to produce code generators and proving them correct
Despland, Annie, Mazaud, Monique, Rakotozafy, Raymond
Published in Science of computer programming (01.11.1990)
Published in Science of computer programming (01.11.1990)
Get full text
Journal Article