pymwp: MWP analysis in Python
- Clément Aubert(Creator),
- Thomas Rubiano(Creator),
- Neea Rusch(Creator),
- Thomas Seiller(Creator)
- ,
- Augusta University,
- ,
- LIPN – UMR 7030 Université Sorbonne Paris Nord,
- LIPN – UMR 7030 Université Sorbonne Paris Nord & CNRS
Dataset:
Dataset Types
Dataset
pymwp is a tool for automatically performing static analysis on programs written in C. It analyzes resource usage and determines if a program's variables growth rates are no more than polynomially related to their inputs sizes.
Dataset Information
Date made available
09/23/2024Publisher
ZENODOAccess to documents
Cite this dataset
Brief description
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller. (2024). pymwp: MWP analysis in Python. 10.5281/zenodo.13826891