| ||||
| ||||
![]() Title:MaxSMT-Based Type Inference for Python 3 Conference:CAV2018 Tags:Dynamic Languages, SMT Solving and Type Inference 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 a system of 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. MaxSMT-Based Type Inference for Python 3 ![]() MaxSMT-Based Type Inference for Python 3 | ||||
Copyright © 2002 – 2025 EasyChair |