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) 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

• 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

• 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?)
• A Systematic Approach to Probabilistic Pointer Analysis
• Abstract Interpretation for Worst and Average Case Analysis
• Abstract interpretation and application to logic programs
• Advanced Linear Algebra
• Coordination Models and Languages
• Generalized inverses. Theory and applications.
• 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)

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

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)