Semantics of probabilistic programs: a weak limit approach

DOI10.1007/978-3-319-03542-0_18MaRDI QIDQ2937792zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• Operator algebras and the operational semantics of probabilistic languages
• Probabilistic analysis of programs: a weak limit approach
• scientific article; zbMATH DE number 1444329
• Publication:3203061
• Probabilistic semantics and program analysis

Cites work

• scientific article; zbMATH DE number 3127873 (Why is no real title available?)
• scientific article; zbMATH DE number 3820471 (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?)
• scientific article; zbMATH DE number 1745905 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• A Survey on Spectra of infinite Graphs
• A Systematic Approach to Probabilistic Pointer Analysis
• A probabilistic PDL
• Advanced Linear Algebra
• Banach space theory. The basis for linear and nonlinear analysis
• Denumerable Markov chains. Generating functions, boundary theory, random walks on trees.
• Finite-Dimensional Approximation Settings for Infinite-dimensional Moore–Penrose Inverses
• Generalized inverses. Theory and applications.
• Measuring the confinement of probabilistic systems
• Non-negative matrices and Markov chains. 2nd ed
• Probabilistic semantics and program analysis
• Probability theory. A comprehensive course
• 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
• Stable approximate evaluation of unbounded operators
• Systematic design of program transformation frameworks by abstract interpretation
• The elements of operator theory

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)