Concrete Semantics of Programs with Non-Deterministic and Random Inputs
Logic in Computer Science
2012-10-10 v1 Formal Languages and Automata Theory
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.
Keywords
Cite
@article{arxiv.1210.2605,
title = {Concrete Semantics of Programs with Non-Deterministic and Random Inputs},
author = {Assalé Adjé and Jean Goubault-Larrecq},
journal= {arXiv preprint arXiv:1210.2605},
year = {2012}
}