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 条

[31] A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
Falaschi, Moreno
Olarte, Carlos
Palamidessi, Catuscia
PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 207 - 217
[32] Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation
Lermusiaux, Pierre
Montagu, Benoit
PROGRAMMING LANGUAGES AND SYSTEMS, PT II, ESOP 2024, 2024, 14577 : 391 - 420
[33] Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
Crafa, Silvia
Ranzato, Francesco
FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (03) : 356 - 376
[34] An abstract Monte-Carlo method for the analysis of probabilistic programs
Monniaux, D
ACM SIGPLAN NOTICES, 2001, 36 (03) : 93 - 101
[35] Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
Coletta, Alessio
Gori, Roberta
Levi, Francesca
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (01) : 165 - 182
[36] Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
Silvia Crafa
Francesco Ranzato
Formal Methods in System Design, 2012, 40 : 356 - 376
[37] ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS
CORTESI, A
FILE, G
SIGPLAN NOTICES, 1991, 26 (09): : 52 - 61
[38] AN ABSTRACT INTERPRETATION SCHEME FOR IDENTIFYING INHERENT PARALLELISM IN LOGIC PROGRAMS
BANSAL, AK
STERLING, LS
NEW GENERATION COMPUTING, 1990, 7 (2-3) : 273 - 324
[39] A framework for the integration of partial evaluation and abstract interpretation of logic programs
Leuschel, M
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 26 (03): : 413 - 463
[40] Verification of Erlang programs using abstract interpretation and model checking
Huch, F
ACM SIGPLAN NOTICES, 1999, 34 (09) : 261 - 272

← 1 2 3 4 5 →