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 条

[41] Static Value Analysis of Python']Python Programs by Abstract Interpretation
Fromherz, Aymeric
Ouadjaout, Abdelraouf
Mine, Antoine
NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 185 - 202
[42] Stable Relations and Abstract Interpretation of Higher-Order Programs
Montagu, Benoit
Jensen, Thomas
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (ICFP):
[43] Inferring functional properties of matrix manipulating programs by abstract interpretation
Matthieu Journault
Antoine Miné
Formal Methods in System Design, 2018, 53 : 221 - 258
[44] An abstract interpretation for estimating uncaught exceptions in Standard ML programs
Yi, K
SCIENCE OF COMPUTER PROGRAMMING, 1998, 31 (01) : 147 - 173
[45] Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Feng, Yuan
Li, Sanjiang
INFORMATION AND COMPUTATION, 2023, 294
[46] An optimized incremental attribute algorithm for the abstract interpretation of logic programs
Barbar, K
Musumbu, K
INTELLIGENT SYSTEMS, 1997, : 140 - 143
[47] Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
Goubault, Eric
STATIC ANALYSIS, SAS 2013, 2013, 7935 : 1 - 3
[48] PROPAGATION - A NEW OPERATION IN A FRAMEWORK FOR ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
BRUYNOOGHE, M
JANSSENS, G
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 294 - 307
[49] Inferring functional properties of matrix manipulating programs by abstract interpretation
Journault, Matthieu
Mine, Antoine
FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (02) : 221 - 258
[50] Abstract Interpretation of Functional Programs using an Attribute Grammar System
Fokker, Jeroen
Swierstra, S. Doaitse
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (05) : 117 - 133

← 1 2 3 4 5 →