Quantitative bounds on resource usage of probabilistic programs

Quantitative bounds on resource usage of probabilistic programs

Cost analysis, also known as resource usage analysis, is the task of finding bounds on the total cost of a program and is a well-studied problem in static analysis. In this work, we consider two classical quantitative problems in cost analysis for probabilistic programs. The first problem is to find...

Full description

Saved in:
Bibliographic Details
Main Authors: CHATTERJEE, Krishnendu, GOHARSHADY, Amir Kafshdar, MEGGENDORFER, Tobias, ZIKELIC, Dorde
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2026
Subjects:
Probabilistic Programming
Static Analysis
Quantitative Bounds
Cost Analysis
Martingales
Programming Languages and Compilers
Online Access:https://ink.library.smu.edu.sg/sis_research/9073
https://ink.library.smu.edu.sg/context/sis_research/article/10076/viewcontent/3649824.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/9073
https://ink.library.smu.edu.sg/context/sis_research/article/10076/viewcontent/3649824.pdf

Similar Items