A PROBABILISTIC ANALYSIS OF LOOP PROGRAMS

被引：0
|
作者：
SZABO, ME [1 ]
FARKAS, EJ [1 ]
机构：
[1] CONCORDIA UNIV,CTR BLDG STUDIES,MONTREAL H3G 1M8,QUEBEC,CANADA
来源：
COMPUTER LANGUAGES | 1989年 / 14卷 / 02期
关键词：
D O I：
10.1016/0096-0551(89)90019-2
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：125 / 136
页数：12
相关论文
共 50 条
  • [1] Finding Polynomial Loop Invariants for Probabilistic Programs
    Feng, Yijun
    Zhang, Lijun
    Jansen, David N.
    Zhan, Naijun
    Xia, Bican
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 400 - 416
  • [2] Incremental Analysis for Probabilistic Programs
    Zhang, Jieyuan
    Sui, Yulei
    Xue, Jingling
    STATIC ANALYSIS (SAS 2017), 2017, 10422 : 450 - 472
  • [3] A Modular Cost Analysis for Probabilistic Programs
    Avanzini, Martin
    Moser, Georg
    Schaper, Michael
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [4] Cost Analysis of Nondeterministic Probabilistic Programs
    Wang, Peixin
    Fu, Hongfei
    Goharshady, Amir Kafshdar
    Chatterjee, Krishnendu
    Qin, Xudong
    Shi, Wenjun
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 204 - 220
  • [5] An abstract analysis of the probabilistic termination of programs
    Monniaux, D
    STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 111 - 126
  • [6] Probabilistic pointer analysis for multithreaded programs
    El-Zawawy, Mohamed A.
    SCIENCEASIA, 2011, 37 (04): : 344 - 354
  • [7] Newtonian Program Analysis of Probabilistic Programs
    Wang, Di
    Reps, Thomas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
  • [8] Termination Analysis of linear Loop Programs
    Yu, Wei
    Zhao, Xiaoyan
    ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS, 2009, : 677 - +
  • [9] Quantitative Analysis of Assertion Violations in Probabilistic Programs
    Wang, Jinyi
    Sun, Yican
    Fu, Hongfei
    Chatterjee, Krishnendu
    Goharshady, Amir Kafshdar
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 1171 - 1186
  • [10] Bounded expectations: Resource analysis for probabilistic programs
    Ngo V.C.
    Carbonneaux Q.
    Hoffmann J.
    2018, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (53): : 496 - 512
12345