Publications Static analysis of program portability by abstract interpretation Static analysis of program portability by abstract interpretation David Delmas PDF
