Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression-Reference-Cited by-同舟云学术

Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression

Published:2015-12-25 Issue: Volume: Page:111-139
ISSN:0302-9743
Container-title:Semantics, Logics, and Calculi
language:
Short-container-title:

Author:

Di Pierro Alessandra,Wiklicky Herbert

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-27810-0_6

Reference44 articles.

1. Jones, N.D., Nielson, F.: Abstract interpretation: a semantics-based tool for program analysis. In: Handbook of Logic in Computer Science, pp. 527–636. Clarendon Press, Oxford (1985)

2. Nielson, F.: Strictness analysis and denotational abstract interpretation. Inf. Comput. 76(1), 29–92 (1988)

3. Nielson, F., Nielson, H.R.: Infinitary control flow analysis: a collecting semantics for closure analysis. In: Proceedings of POPL 1997, pp. 332–345 (1997)

4. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)

5. Di Pierro, A., Wiklicky, H.: Concurrent constraint programming: towards probabilistic abstract interpretation. In: Proceedings of PPDP 2000, pp. 127–138 (2000)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sound Abstract Nonexploitability Analysis;Lecture Notes in Computer Science;2023-12-30

2. Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning;Proceedings of the ACM on Programming Languages;2021-01-04

3. Quantum Machine Learning and Fraud Detection;Protocols, Strands, and Logic;2021

4. Analysing Timer Based Opportunistic Routing Using Transition Cost Matrix;Innovative Data Communication Technologies and Application;2020