pymwp: MWP analysis in Python
Published in Zenodo (CERN European Organization for Nuclear Research) • Nov 2, 2024
NobleIDNI1P06W08R74S87
Authors:,,
Clément Aubert
Thomas Rubiano
Neea Rusch
Abstract
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.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!