Publications Static type and value analysis by abstract interpretation of Python programs with native C libraries Static type and value analysis by abstract interpretation of Python programs with native C libraries Raphaël Monat PDF
