Probabilistic semantics and program analysis

DOI10.1007/978-3-642-13678-8_1MaRDI QIDQ3575027zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 6 July 2010

Published in Formal Methods for Quantitative Aspects of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13678-8_1

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• scientific article; zbMATH DE number 1617330
• Semantics of probabilistic programs: a weak limit approach
• On probabilistic techniques for data flow analysis
• A Systematic Approach to Probabilistic Pointer Analysis

Cites work

• A Systematic Approach to Probabilistic Pointer Analysis
• Abstract interpretation and application to logic programs
• Abstract Interpretation for Worst and Average Case Analysis
• Advanced Linear Algebra
• Coordination Models and Languages
• Generalized inverses. Theory and applications.
• scientific article; zbMATH DE number 3648910 (Why is no real title available?)
• scientific article; zbMATH DE number 3820471 (Why is no real title available?)
• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• scientific article; zbMATH DE number 53571 (Why is no real title available?)
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1040040 (Why is no real title available?)
• scientific article; zbMATH DE number 1161555 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 805121 (Why is no real title available?)
• Measuring the confinement of probabilistic systems
• Non-negative matrices and Markov chains.
• Probability and Random Variables
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(13)

• Modelling contextuality by probabilistic programs with hypergraph semantics
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Reasoning about probabilistic sequential programs
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 1692951 (Why is no real title available?)
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Formalising Semantics for Expected Running Time of Probabilistic Programs
• On probabilistic techniques for data flow analysis
• Semantics of probabilistic programs: a weak limit approach
• A Systematic Approach to Probabilistic Pointer Analysis
• scientific article; zbMATH DE number 4006238 (Why is no real title available?)
• scientific article; zbMATH DE number 4076588 (Why is no real title available?)
• Probabilistic programming inference via intensional semantics

Describes a project that uses

Uses Software

• Octave

This page was built for publication: Probabilistic semantics and program analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3575027)