amortised

释义

已摊销的，已摊提的，已分期偿还的；

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