Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Programming language semantics / Measure theory / Boolean algebra / Probability theory / Denotational semantics / Predicate transformer semantics / Sigma-algebra / PP


Abstract interpretation of probabilistic semantics 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:43:37


Open Document

File Size: 390,79 KB

Share Result on Facebook