Abstract Interpretation of Probabilistic Semantics
Author:
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 322-339
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Refinement-oriented probability for CSPFormal Aspects of Computing, 1996
- Semantic models and abstract interpretation techniques for inductive data structures and pointers1995
- Accurate static estimators for program optimizationACM SIGPLAN Notices, 1994
- Measure Theory1994
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Improving the results of static analyses of programs by local decreasing iterations1992
- Static analysis of linear congruence equalities among variables of a program1991
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981