Concrete Semantics of Programs with Non-Deterministic and Random Inputs

2012/10/08 by Assalé Adjé, Adjé, Assalé, Jean Goubault-Larrecq +1
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO

paper · pdf · doi:10.48550/arxiv.1210.2605

arxiv created 2012/10/08 · arxiv updated 2012/10/10

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.

Related

• Probabilistic Programming with Exact Conditions
• Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
• An executable formal semantics of C with applications
• Probabilistic Program Abstractions
• An Abstract Programming System