Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault & Sylvie Putot (2014):
Static Analysis of Programs with Imprecise Probabilistic Inputs,
pp. 22–47.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-54108-7_2.
Troy Butler, Don Estep & Nishant Panda (2018):
A Ramble Through the Foundations of Probability [unpublished].
Patrick Cousot & Radhia Cousot (1977):
Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints,
doi:10.1145/512950.512973.
Patrick Cousot & Radhia Cousot (1979):
Systematic design of program analysis frameworks,
doi:10.1145/567752.567778.
Patrick Cousot, Radhia Cousot, Manuel Fähndrich & Francesco Logozzo (2013):
Automatic inference of necessary preconditions.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7737 LNCS,
pp. 128–148,
doi:10.1007/978-3-642-35873-9_10.
Patrick Cousot & Michael Monerau (2012):
Probabilistic Abstract Interpretation,
pp. 169–193.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-28869-2_9.
Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski & René Thiemann (2017):
Analyzing Program Termination and Complexity Automatically with AProVE.
Journal of Automated Reasoning 58(1),
pp. 3–31,
doi:10.1007/s10817-016-9388-y.
Joseph Y. Halpern & Ronald Fagin (1989):
Modelling knowledge and action in distributed systems.
Distributed Computing 3(4),
pp. 159–177,
doi:10.1007/BF01784885.
Maja H. Kirkeby & Mads Rosendahl (2016):
Probabilistic Resource Analysis by Program Transformation.
In: Marko van Eekelen & Ugo Dal Lago: Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers.
Springer International Publishing,
Cham,
pp. 60–80,
doi:10.1007/978-3-319-46559-3_4.
George J Klir (2007):
Uncertainty and Information: Foundations of Generalized Information Theory (Klir, G.J.; 2006) 18,
doi:10.1109/TNN.2007.906888.
Dexter Kozen (1985):
A probabilistic PDL.
Journal of Computer and System Sciences 30(2),
pp. 162–178,
doi:10.1016/0022-0000(85)90012-1.
Antoine Miné (2006):
The octagon abstract domain.
Higher-Order and Symbolic Computation 19(1),
pp. 31–100,
doi:10.1007/s10990-006-8609-1.
David Monniaux (2000):
Abstract Interpretation of Probabilistic Semantics.
In: Jens Palsberg: Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings,
Lecture Notes in Computer Science 1824.
Springer,
pp. 322–339,
doi:10.1007/978-3-540-45099-3_17.
David Monniaux (2001):
Backwards Abstract Interpretation of Probabilistic Programs.
In: David Sands: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Genova, Italy, April 2-6, 2001, Proceedings,
Lecture Notes in Computer Science 2028.
Springer,
pp. 367–382,
doi:10.1007/3-540-45309-1_24.
Flemming Nielson, Hanne Riis Nielson & Chris Hankin (1999):
Principles of Program Analysis.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-662-03811-6.
Hanne Riis Nielson & Flemming Nielson (2007):
Semantics with Applications: an Appetizer,
doi:10.1159/000321363.
Enrique H. Ruspini:
Epistemic Logics, Probability, and the Calculus of Evidence.
In: Classic Works of the Dempster-Shafer Theory of Belief Functions.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 435–448,
doi:10.1007/978-3-540-44792-4_17.
Sriram Sankaranarayanan, Aleksandar Chakarov & Sumit Gulwani (2013):
Static analysis for probabilistic programs.
ACM SIGPLAN Notices 48(6),
pp. 447,
doi:10.1145/2499370.2462179.
Glenn Shafer (1990):
Perspectives on the theory and practice of belief functions.
International Journal of Approximate Reasoning 4(5-6),
pp. 323–362,
doi:10.1016/0888-613X(90)90012-Q.