Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity
Date:
Presented a novel methodology and preliminary experimental results on inferring program complexity bounds. The approach utilizes dynamically computed recurrence relations to provide insights into software performance characteristics during early-stage analysis.