Cost analysis of nondeterministic probabilistic programs-Reference-Cited by-同舟云学术

Cost analysis of nondeterministic probabilistic programs

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Wang Peixin¹,Fu Hongfei¹,Goharshady Amir Kafshdar²,Chatterjee Krishnendu²,Qin Xudong³,Shi Wenjun³

Affiliation:

1. Shanghai Jiao Tong University, China / East China Normal University, China

2. IST Austria, Austria

3. East China Normal University, China

Funder

International Business Machines Corporation

National Natural Science Foundation of China

Vienna Science and Technology Fund

Austrian Science Fund

European Research Council

Österreichischen Akademie der Wissenschaften

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3314221.3314581

Reference99 articles.

1. Sheshansh Agrawal Krishnendu Chatterjee and Petr Novotn?. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. PACMPL 2 POPL (2018) 34:1s-34:32. Sheshansh Agrawal Krishnendu Chatterjee and Petr Novotn?. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. PACMPL 2 POPL (2018) 34:1s-34:32.

2. Termination and Cost Analysis with COSTA and its User Interfaces

3. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis;Albert Elvira;SAS,2008

4. Cost Analysis of Java Bytecode;Albert Elvira;ESOP,2007

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic;Lecture Notes in Computer Science;2024-09-11

2. Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs;Lecture Notes in Computer Science;2024-09-11

3. Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. Equivalence and Similarity Refutation for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-06-20

5. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving;Proceedings of the ACM on Programming Languages;2024-06-20