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