Semantics of Probabilistic Programs: A Weak Limit Approach

DOI10.1007/978-3-319-03542-0_18zbMath1426.68044OpenAlexW149871949MaRDI QIDQ2937792

Herbert Wiklicky, Alessandra Di Pierro

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Probabilistic Analysis of Programs: A Weak Limit Approach ⋮ Semantics of Probabilistic Programs: A Weak Limit Approach ⋮ Generating functions for probabilistic programs

Cites Work

• Projection methods for computing Moore-Penrose inverses of unbounded operators
• Measuring the confinement of probabilistic systems
• Denumerable Markov chains. Generating functions, boundary theory, random walks on trees.
• Stable approximate evaluation of unbounded operators
• A probabilistic PDL
• Non-negative matrices and Markov chains. 2nd ed
• Semantics of probabilistic programs
• Generalized inverses. Theory and applications.
• Banach space theory. The basis for linear and nonlinear analysis
• Semantics of Probabilistic Programs: A Weak Limit Approach
• A Systematic Approach to Probabilistic Pointer Analysis
• Probabilistic Semantics and Program Analysis
• The Elements of Operator Theory
• Finite-Dimensional Approximation Settings for Infinite-dimensional Moore–Penrose Inverses
• A Survey on Spectra of infinite Graphs
• Advanced Linear Algebra
• Systematic design of program transformation frameworks by abstract interpretation
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Probability theory. A comprehensive course
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of Probabilistic Programs: A Weak Limit Approach