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 条
  • [31] Understanding Probabilistic Programs
    Katoen, Joost-Pieter
    Gretz, Friedrich
    Jansen, Nils
    Kaminski, Benjamin Lucien
    Olmedo, Federico
    CORRECT SYSTEM DESIGN: SYMPOSIUM IN HONOR OF ERNST-RUDIGER OLDEROG ON THE OCCASION OF HIS 60TH BIRTHDAY, 2015, 9360 : 15 - 32
  • [32] SEMANTICS OF PROBABILISTIC PROGRAMS
    KOZEN, D
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 22 (03) : 328 - 350
  • [33] Hybrid probabilistic programs
    Dekhtyar, A
    Subrahmanian, VS
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 391 - 405
  • [34] VERIFICATION OF PROBABILISTIC PROGRAMS
    SHARIR, M
    PNUELI, A
    HART, S
    SIAM JOURNAL ON COMPUTING, 1984, 13 (02) : 292 - 314
  • [35] The Simulation of Loop Flow in Radial Distribution Analysis Programs
    Kersting, W. H.
    2014 IEEE RURAL ELECTRIC POWER CONFERENCE (REPC), 2014,
  • [36] A Debugger for Probabilistic Programs
    Hoppen, Alexander
    Noll, Thomas
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 282 - 289
  • [37] The Simulation of Loop Flow in Radial Distribution Analysis Programs
    Kersting, W. H.
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2015, 51 (02) : 1928 - 1932
  • [38] Debugging Probabilistic Programs
    Nandi, Chandrakana
    Sampson, Adrian
    Mytkowicz, Todd
    McKinley, Kathryn S.
    MAPL'17: PROCEEDINGS OF THE 1ST ACM SIGPLAN INTERNATIONAL WORKSHOP ON MACHINE LEARNING AND PROGRAMMING LANGUAGES, 2017, : 18 - 26
  • [39] FUZZY AND PROBABILISTIC PROGRAMS
    SANTOS, ES
    INFORMATION SCIENCES, 1976, 10 (04) : 331 - 345
  • [40] Verifying Probabilistic Programs
    Kaminski, Benjamin
    Katoen, Joost-Pieter
    Matheja, Christoph
    QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2020), 2020, 12289 : 298 - 298
12345