Software Open Access

MaxSMT-Based Type Inference for Python 3 - Artifact

Hassan, Mostafa; Urban, Caterina; Eilers, Marco; Müller, Peter

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.

This is the artifact accompanying the published paper. 

Files (2.4 GB)
Name Size
Typpete.ova
md5:780cfcc1aa0121602ed61e08d9a09262 		2.4 GB Download
55
7
views
downloads
All versions This version
Views 5555
Downloads 77
Data volume 16.7 GB16.7 GB
Unique views 5353
Unique downloads 77
More info on how stats are collected.
Indexed in
Publication date:
July 18, 2018
DOI:
10.5281/zenodo.3996670

Zenodo DOI Badge

DOI 

10.5281/zenodo.3996670

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3996670.svg)](https://doi.org/10.5281/zenodo.3996670)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3996670.svg
   :target: https://doi.org/10.5281/zenodo.3996670

HTML 

<a href="https://doi.org/10.5281/zenodo.3996670"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3996670.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3996670.svg

Target URL 

https://doi.org/10.5281/zenodo.3996670

Keyword(s):
Type Inference SMT Solving Dynamic Languages
Related identifiers:
Supplement to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3996670 Jul 18, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3996669. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export