scientific article; zbMATH DE number 1973222

zbMath1018.68505MaRDI QIDQ4421876

Alessandra Di Pierro, Herbert Wiklicky

Publication date: 1 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2042/20420147.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Probabilistic Analysis of Programs: A Weak Limit Approach ⋮ Semantics of Probabilistic Programs: A Weak Limit Approach ⋮ Computing Abstract Distances in Logic Programs ⋮ A Systematic Approach to Probabilistic Pointer Analysis ⋮ A Type Theory for Probabilistic $$\lambda $$–calculus ⋮ Relational Analysis and Precision via Probabilistic Abstract Interpretation ⋮ Probabilistic Semantics and Program Analysis ⋮ Measuring the confinement of probabilistic systems ⋮ Completeness of string analysis for dynamic languages ⋮ Semantic Abstraction and Quantum Computation ⋮ On Probabilistic Techniques for Data Flow Analysis

This page was built for publication: