Backwards abstract interpretation of probabilistic programs

被引：0
|
作者：
Monniaux, D [1 ]
机构：
[1] LIENS, F-75230 Paris 5, France
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2001年 / 2028卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：367 / 382
页数：16
相关论文
共 50 条
  • [1] Running Probabilistic Programs Backwards
    Toronto, Neil
    McCarthy, Jay
    Van Horn, David
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 53 - 79
  • [2] Probabilistic Abstract Interpretation
    Cousot, Patrick
    Monerau, Michael
    PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 169 - 193
  • [3] Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
    Smith, Michael J. A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 220 (03) : 43 - 59
  • [4] Abstract interpretation of probabilistic semantics
    Monniaux, D
    STATIC ANALYSIS, 2000, 1824 : 322 - 339
  • [5] ABSTRACT INTERPRETATION OF PROLOG PROGRAMS
    MELLISH, CS
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 463 - 474
  • [6] Abstract interpretation of Prolog programs
    Spoto, F
    Levi, G
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 455 - 470
  • [7] An abstract analysis of the probabilistic termination of programs
    Monniaux, D
    STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 111 - 126
  • [8] DENOTATIONAL ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
    MARRIOTT, K
    SONDERGAARD, H
    JONES, ND
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 607 - 648
  • [9] ABSTRACT INTERPRETATION AND APPLICATION TO LOGIC PROGRAMS
    COUSOT, P
    COUSOT, R
    JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (2-3): : 103 - 179
  • [10] Abstract Interpretation for Probabilistic Termination of Biological Systems
    Gori, Roberta
    Levi, Francesca
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (11): : 137 - 153
12345