Periodic Reporting for period 1 - CARBS (Compositional Approximate Reasoning via Bialgebraic Semantics)

Programming languages with probabilistic features are used extensively in computer science and beyond, to model uncertainty, perform quantitative analysis, inference and much more. To analyse programs in such languages, it is essential to have effective tools and techniques...