v.liquidate gradually
同义词：amortize
Amortised Bisimulations
Amortised Resource Analysis with Separation Logic
Amortised Resource Analysis with Separation Logic
Amortised MAP Inference for Image Super-resolution
Type-Based Amortised Heap-Space Analysis
Type-Based Amortised Heap-Space Analysis.
Amortised Memory Analysis Using the Depth of Data Structures
Efficient Type-Checking for Amortised Heap-Space Analysis
Automatic type inference for amortised heap-space analysis
“Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis
