Matches in SemOpenAlex for { <https://semopenalex.org/work/W4330335823> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4330335823 abstract "Complexity analysis offers assurance of program's runtime behavior, but large classes of programs remain unanalyzable by existing automated techniques.The mwp-flow analysis sidesteps many difficulties shared by existing approaches, and offers interesting features, such as compositionality, multivariate bounds, and applicability to non-terminating programs.It analyzes resource usage and determines if a program's variables growth rates are no more than polynomially related to their inputs sizes.This sound calculus, however, is computationally expensive to manipulate, and provides no feedback if the program does not have polynomial bounds.Those two defaults were addressed in a previous work, and prepared for the tool we present here: pymwp, a static complexity analyzer for C programs based on our improved mwp-flow analysis." @default.
- W4330335823 created "2023-03-22" @default.
- W4330335823 creator A5031176621 @default.
- W4330335823 creator A5068334239 @default.
- W4330335823 creator A5079286597 @default.
- W4330335823 creator A5083813801 @default.
- W4330335823 date "2021-06-24" @default.
- W4330335823 modified "2023-09-26" @default.
- W4330335823 title "pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs" @default.
- W4330335823 doi "https://doi.org/10.48550/arxiv.2107.00097" @default.
- W4330335823 hasPublicationYear "2021" @default.
- W4330335823 type Work @default.
- W4330335823 citedByCount "0" @default.
- W4330335823 crossrefType "posted-content" @default.
- W4330335823 hasAuthorship W4330335823A5031176621 @default.
- W4330335823 hasAuthorship W4330335823A5068334239 @default.
- W4330335823 hasAuthorship W4330335823A5079286597 @default.
- W4330335823 hasAuthorship W4330335823A5083813801 @default.
- W4330335823 hasBestOaLocation W43303358231 @default.
- W4330335823 hasConcept C11413529 @default.
- W4330335823 hasConcept C199360897 @default.
- W4330335823 hasConcept C41008148 @default.
- W4330335823 hasConcept C80444323 @default.
- W4330335823 hasConcept C97686452 @default.
- W4330335823 hasConcept C98183937 @default.
- W4330335823 hasConceptScore W4330335823C11413529 @default.
- W4330335823 hasConceptScore W4330335823C199360897 @default.
- W4330335823 hasConceptScore W4330335823C41008148 @default.
- W4330335823 hasConceptScore W4330335823C80444323 @default.
- W4330335823 hasConceptScore W4330335823C97686452 @default.
- W4330335823 hasConceptScore W4330335823C98183937 @default.
- W4330335823 hasLocation W43303358231 @default.
- W4330335823 hasOpenAccess W4330335823 @default.
- W4330335823 hasPrimaryLocation W43303358231 @default.
- W4330335823 hasRelatedWork W1499795143 @default.
- W4330335823 hasRelatedWork W1533112326 @default.
- W4330335823 hasRelatedWork W1608659702 @default.
- W4330335823 hasRelatedWork W1814870153 @default.
- W4330335823 hasRelatedWork W1860988706 @default.
- W4330335823 hasRelatedWork W2139980638 @default.
- W4330335823 hasRelatedWork W2751940653 @default.
- W4330335823 hasRelatedWork W2806773351 @default.
- W4330335823 hasRelatedWork W2899100898 @default.
- W4330335823 hasRelatedWork W2789178056 @default.
- W4330335823 isParatext "false" @default.
- W4330335823 isRetracted "false" @default.
- W4330335823 workType "article" @default.