Semantics of probabilistic programs: a weak limit approach
DOI10.1007/978-3-319-03542-0_18zbMATH Open1426.68044OpenAlexW149871949MaRDI QIDQ2937792FDOQ2937792
Authors: Alessandra Di Pierro, Herbert Wiklicky 
Publication date: 12 January 2015
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_18
Recommendations
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cites Work
- Generalized inverses. Theory and applications.
- Banach space theory. The basis for linear and nonlinear analysis
- A Survey on Spectra of infinite Graphs
- Title not available (Why is that?)
- Projection methods for computing Moore-Penrose inverses of unbounded operators
- Title not available (Why is that?)
- Denumerable Markov chains. Generating functions, boundary theory, random walks on trees.
- Non-negative matrices and Markov chains. 2nd ed
- Title not available (Why is that?)
- Title not available (Why is that?)
- A probabilistic PDL
- The elements of operator theory
- Semantics of probabilistic programs
- Title not available (Why is that?)
- Systematic design of program transformation frameworks by abstract interpretation
- Probability theory. A comprehensive course
- Advanced Linear Algebra
- Title not available (Why is that?)
- Measuring the confinement of probabilistic systems
- Stable approximate evaluation of unbounded operators
- Finite-Dimensional Approximation Settings for Infinite-dimensional Moore–Penrose Inverses
- Probabilistic semantics and program analysis
- A Systematic Approach to Probabilistic Pointer Analysis
- Semantics of probabilistic programs: a weak limit approach
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
Cited In (7)
- Semantics of probabilistic programs: a weak limit approach
- Generating functions for probabilistic programs
- Probabilistic semantics and program analysis
- Probabilistic analysis of programs: a weak limit approach
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Operator algebras and the operational semantics of probabilistic languages
- Symbolic semantics for probabilistic programs
This page was built for publication: Semantics of probabilistic programs: a weak limit approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2937792)
