5552254
doi
10.5281/zenodo.5552254
oai:zenodo.org:5552254
user-eu
Antoine Miné
LIP6, Sorbonne Université & CNRS
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries (Artifact)
Raphaël Monat
LIP6, Sorbonne Université & CNRS
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
<p>Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries".</p>
Zenodo
2021-10-06
info:eu-repo/semantics/other
5510486
user-eu
v1.0
award_title=Modular Open Platform for Static Analysis; award_number=681393; award_identifiers_scheme=url; award_identifiers_identifier=https://cordis.europa.eu/projects/681393; funder_id=00k4n6c32; funder_name=European Commission;
1633528110.052607
15168
md5:c8cea06424c7f85d8850e263cdd5c6cb
https://zenodo.org/records/5552254/files/README.md
2872968704
md5:1b3a19e74ba9b88477a92fe83f64858c
https://zenodo.org/records/5552254/files/phd_artifact_monat.tar
public
10.5281/zenodo.5510486
isVersionOf
doi