Probabilistic analysis of programs: a weak limit approach
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3820471 (Why is no real title available?)
- scientific article; zbMATH DE number 42054 (Why is no real title available?)
- scientific article; zbMATH DE number 1324833 (Why is no real title available?)
- scientific article; zbMATH DE number 1973222 (Why is no real title available?)
- A Systematic Approach to Probabilistic Pointer Analysis
- Advanced Linear Algebra
- An iterative stabilization method for the evaluation of unbounded operators
- Banach space theory. The basis for linear and nonlinear analysis
- Best approximation in inner product spaces
- Dykstra's algorithm and a representation of the Moore-Penrose inverse
- Finite-Dimensional Approximation Settings for Infinite-dimensional Moore–Penrose Inverses
- Generalized inverses. Theory and applications.
- Introduction to large truncated Toeplitz matrices
- Measuring the confinement of probabilistic systems
- Model reduction of large-scale systems by least squares
- Probabilistic abstract interpretation
- Probabilistic data flow analysis: a linear equational approach
- Projection methods for computing Moore-Penrose inverses of unbounded operators
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
- Semantics of probabilistic programs
- Semantics of probabilistic programs: a weak limit approach
- Spectral methods for linear inverse problems with unbounded operators
- Stable approximate evaluation of unbounded operators
- Systematic design of program transformation frameworks by abstract interpretation
- The elements of operator theory
- Theoretical Numerical Analysis
Cited in
(13)- Semantics of probabilistic programs: a weak limit approach
- Assembly Code Analysis Using Stochastic Process Algebra
- Long-run cost analysis by approximation of linear operators over dioids
- A probabilistic analysis of loop programs
- Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
- Generalized probabilistic perturbation method for static analysis
- scientific article; zbMATH DE number 2147036 (Why is no real title available?)
- High Performance Computing for Computational Science - VECPAR 2004
- Automating program analysis
- Probabilistic data flow analysis: a linear equational approach
- Randomized resource-aware path-sensitive static analysis
- FM 2005: Formal Methods
- On probabilistic techniques for data flow analysis
This page was built for publication: Probabilistic analysis of programs: a weak limit approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460504)
