Analyse de programmes, Evaluation partielle et G'en'eration de compilateurs (1989)

by C Consel