Probabilistic Semantics and Program Analysis

DOI10.1007/978-3-642-13678-8_1zbMath1189.68030OpenAlexW1803593036MaRDI QIDQ3575027

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

Semantics of Probabilistic Programs: A Weak Limit Approach

Uses Software

• Octave

Cites Work

• Measuring the confinement of probabilistic systems
• Generalized inverses. Theory and applications.
• Non-negative matrices and Markov chains.
• A Systematic Approach to Probabilistic Pointer Analysis
• Abstract Interpretation for Worst and Average Case Analysis
• Abstract interpretation and application to logic programs
• Probability and Random Variables
• Advanced Linear Algebra
• Systematic design of program transformation frameworks by abstract interpretation
• Coordination Models and Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic Semantics and Program Analysis