Decompilation is the e cient enumeration of types (1992)

by P T Breuer, J P Bowen
Venue:Journees de Travail WSA'92 Analyse Statique, BIGRE81{82, IRISA-Campus de Beaulieu, F-35042 Rennes cedex