Raphaël Monat
Raphaël Monat
Home
Publications
Ph.D
Talks
Community Service
Students
Contact
Light
Dark
Automatic
dynamic programming languages
Master Internship #3: Static Analysis by Abstract Interpretation: Collecting Types of Python Programs
From March to August 2018, I worked under the supervision of Antoine Miné at the LIP6 laboratory, in Paris, France. I designed a static analysis by abstract interpretation that detects potential type errors in Python programs.
Cite
×