Accumulation Analysis
No abstract available.
Related papers
- Central moment analysis for cost accumulators in probabilistic programs PLDI 2021
- SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings SLE 2026
- Deforesting in Accumulating Parameters via Type-Directed Transformations APLAS 2002
- An Accumulative Parallel Skeleton for All APLAS 2001
- An Accumulative Parallel Skeleton for All ESOP 2002
- Deciding an Interval Logic with Accumulated Durations TACAS 2007
- Addendum to "The Promotion and Accumulation Strategies in Transformational Programming" TOPLAS 1985
- Computing Accumulated Delays in Real-time Systems CAV 1993