Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Abstract

This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data.