19:44 [HOPE'23] Semantic foundations of potential-synthesis for expected amortised-cost analysis ACM SIGPLAN