Static Type Analysis by Abstract Interpretation of Python Programs

Authors: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Contributors: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), European Project: 681393,H2020,ERC-2015-CoG,MOPSA(2016)

Source: 34th European Conference on Object-Oriented Programming (ECOOP 2020)
https://hal.science/hal-02994000
34th European Conference on Object-Oriented Programming (ECOOP 2020), Nov 2020, Berlin (Virtual / Covid), Germany. ⟨10.4230/LIPIcs.ECOOP.2020.17⟩
2020.ecoop.org

Subject Terms: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Berlin (Virtual / Covid), Germany

Relation: info:eu-repo/grantAgreement//681393/EU/Modular Open Platform for Static Analysis/MOPSA

Availability: https://hal.science/hal-02994000
https://hal.science/hal-02994000v1/document
https://hal.science/hal-02994000v1/file/LIPIcs-ECOOP-2020-17.pdf
https://doi.org/10.4230/LIPIcs.ECOOP.2020.17

static type analysis by abstract interpretation of python programs artifact

Authors: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Contributors: Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné

Subject Terms: Static Analysis, Abstract Interpretation, Dynamic Programming Language, ddc:004, Formal Methods, Type Analysis, Python Semantics

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/opus/volltexte/2020/13208/
https://dblp.uni-trier.de/db/journals/darts/darts6.html#MonatOM20
https://drops.dagstuhl.de/opus/volltexte/2020/13208/pdf/DARTS-6-2-11.pdf/
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.11

Static Type Analysis by Abstract Interpretation of Python Programs

Authors: Ouadjaout, Abdelraouf

Index Terms: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics, Data processing Computer science, InProceedings, publishedVersion

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)

Authors: https://doi.org/10.4230/LIPIcs.ECOOP.2020.17, Ouadjaout, Abdelraouf

Index Terms: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics, Data processing Computer science, InProceedings, publishedVersion