Concrete Semantics of Programs with Non-Deterministic and Random Inputs
  This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data. 
Assal\'e Adj\'e and Jean Goubault-Larrecq
cs.LO cs.FL