Probabilistic Analysis of Programs: A Weak Limit Approach
From MaRDI portal
Publication:3460504
DOI10.1007/978-3-319-12466-7_4zbMath1445.68051OpenAlexW2175537480MaRDI QIDQ3460504
Alessandra Di Pierro, Herbert Wiklicky
Publication date: 7 January 2016
Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-12466-7_4
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Projection methods for computing Moore-Penrose inverses of unbounded operators
- Measuring the confinement of probabilistic systems
- Stable approximate evaluation of unbounded operators
- Semantics of probabilistic programs
- Spectral methods for linear inverse problems with unbounded operators
- Introduction to large truncated Toeplitz matrices
- Generalized inverses. Theory and applications.
- Dykstra's algorithm and a representation of the Moore-Penrose inverse
- Model reduction of large-scale systems by least squares
- Banach space theory. The basis for linear and nonlinear analysis
- Probabilistic Abstract Interpretation
- Semantics of Probabilistic Programs: A Weak Limit Approach
- An iterative stabilization method for the evaluation of unbounded operators
- A Systematic Approach to Probabilistic Pointer Analysis
- The Elements of Operator Theory
- Theoretical Numerical Analysis
- Finite-Dimensional Approximation Settings for Infinite-dimensional Moore–Penrose Inverses
- Advanced Linear Algebra
- Systematic design of program transformation frameworks by abstract interpretation
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
- Best approximation in inner product spaces
This page was built for publication: Probabilistic Analysis of Programs: A Weak Limit Approach
