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 条

[21] Failure diagnosis of declarative programs based on abstract interpretation (extended abstract)
Musumbu, K
COMPUTERS AND THEIR APPLICATIONS, 2000, : 431 - 434
[22] Relational Analysis and Precision via Probabilistic Abstract Interpretation
Di Pierro, Alessandra
Sotin, Pascal
Wiklicky, Herbert
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 220 (03) : 23 - 42
[23] Abstract Interpretation of Programs for Model-Based Debugging
Mayer, Wolfgang
Stumptner, Markus
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 471 - 476
[24] Abstract interpretation of PIC programs through logic programming
Henriksen, Kim S.
Gallagher, John P.
SIXTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2006, : 184 - +
[25] ABSTRACT INTERPRETATION OF LOGIC PROGRAMS USING MAGIC TRANSFORMATIONS
DEBRAY, S
RAMAKRISHNAN, R
JOURNAL OF LOGIC PROGRAMMING, 1994, 18 (02): : 149 - 176
[26] Polymorphic type analysis in logic programs by abstract interpretation
Lu, LJ
JOURNAL OF LOGIC PROGRAMMING, 1998, 36 (01): : 1 - 54
[27] BOTTOM-UP ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
CODISH, M
DAMS, D
YARDENI, E
THEORETICAL COMPUTER SCIENCE, 1994, 124 (01) : 93 - 125
[28] Generalized semantics and abstract interpretation for constraint logic programs
Giacobazzi, R
Debray, SK
Levi, G
JOURNAL OF LOGIC PROGRAMMING, 1995, 25 (03): : 191 - 247
[29] Symbolic and Abstract Interpretation for C/C++ Programs
Loeding, Helge
Peleska, Jan
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 217 : 113 - 131
[30] SPECIALIZATION OF PROLOG AND FCP PROGRAMS USING ABSTRACT INTERPRETATION
GALLAGHER, J
CODISH, M
SHAPIRO, E
NEW GENERATION COMPUTING, 1988, 6 (2-3) : 159 - 186

← 1 2 3 4 5 →