Back to Results
First PageMeta Content
Operator theory / Theoretical computer science / Measure theory / Mathematics / Analysis / Denotational semantics / Logic in computer science / Hermitian adjoint / Support / Expected value / Abstract interpretation / Adjoint functors


Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France
Add to Reading List

Document Date: 2007-10-18 09:44:01

Open Document

File Size: 377,88 KB

Share Result on Facebook