Abstract | ||
---|---|---|
We present TYPPETE, a sound type inferencer that automatically infers Python 3 type annotations. TYPPETE encodes type constraints as a MAxSMT problem and uses optional constraints and specific quantifier instantiation patterns to make the constraint solving process efficient. Our experimental evaluation shows that TYPPETE scales to real world Python programs and outperforms state-of-the-art tools. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-319-96142-2_2 | COMPUTER AIDED VERIFICATION, CAV 2018, PT II |
Field | DocType | Volume |
Computer science,Type inference,Theoretical computer science,Python (programming language) | Conference | 10982 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mostafa Hassan | 1 | 0 | 0.34 |
Caterina Urban | 2 | 79 | 5.39 |
Marco Eilers | 3 | 2 | 1.78 |
Peter Müller | 4 | 781 | 50.82 |