pith. sign in

arxiv: 1210.2605 · v1 · pith:AR3G4PAZnew · submitted 2012-10-08 · 💻 cs.LO · cs.FL

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Assal\'e Adj\'e , Jean Goubault-Larrecq This is my paper
classification 💻 cs.LO cs.FL
keywords programssemanticsc-likeconcretedatadocumentenvironmentexternal
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.