Abstract interpretation of probabilistic semantics

DOI10.1007/978-3-540-45099-3_17MaRDI QIDQ2722069zbMATH OpenFDO

Authors David Monniaux

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_17

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Probabilistic abstract interpretation
• Probabilistic semantics and program analysis
• Probabilistic Interpretations of Predicates
• scientific article; zbMATH DE number 1692951
• A probabilistic semantics for abstract argumentation
• Abstraction of Probabilistic Systems
• Fine-grained semantics for probabilistic programs
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• scientific article; zbMATH DE number 1948164
• On Abstraction of Probabilistic Systems

Cited in

(34)

• Towards a semantics-based information theory
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Quantitative static analysis of communication protocols using abstract Markov chains
• Abstract interpretation of programs as Markov decision processes
• Least upper bounds for probability measures and their applications to abstractions
• scientific article; zbMATH DE number 1692951 (Why is no real title available?)
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• -calculus and quantitative program analysis (extended abstract)
• On probabilistic techniques for data flow analysis
• Stochastic modelling of communication protocols from source code
• Probabilistic abstract interpretation
• Probabilistic  -calculus and Quantitative Program Analysis
• Probabilistic Interpretations of Predicates
• Understanding probabilistic programs
• Probabilistic analysis of programs: a weak limit approach
• Probabilistic semantics and program analysis
• Abstract Interpretation for Worst and Average Case Analysis
• A Posteriori Soundness for Non-deterministic Abstract Interpretations
• scientific article; zbMATH DE number 4006238 (Why is no real title available?)
• scientific article; zbMATH DE number 1324657 (Why is no real title available?)
• Probabilistic imperative programming: A rigorous approach (extended abstract)
• scientific article; zbMATH DE number 1953029 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 2090849 (Why is no real title available?)
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Probabilistic abstract interpretation of imperative programs using truncated normal distributions
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Symbolic semantics for probabilistic programs
• An interval-based abstraction for quantifying information flow
• Probabilistic output analyses for deterministic programs -- reusing existing non-probabilistic analyses
• Probabilistic output analysis by program manipulation

This page was built for publication: Abstract interpretation of probabilistic semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722069)