scientific article; zbMATH DE number 1973222
From MaRDI portal
Publication:4421876
zbMATH Open1018.68505MaRDI QIDQ4421876FDOQ4421876
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 of this publication is not available (Why is that?)
Cited In (12)
- Maximizing theory accuracy through selective reinterpretation
- A Systematic Approach to Probabilistic Pointer Analysis
- A Type Theory for Probabilistic $$\lambda $$–calculus
- Computing Abstract Distances in Logic Programs
- Completeness of string analysis for dynamic languages
- Measuring the confinement of probabilistic systems
- Semantics of Probabilistic Programs: A Weak Limit Approach
- Probabilistic Semantics and Program Analysis
- Probabilistic Analysis of Programs: A Weak Limit Approach
- Relational Analysis and Precision via Probabilistic Abstract Interpretation
- On probabilistic techniques for data flow analysis
- Semantic abstraction and quantum computation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4421876)
