Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015
Linear Models of Computation and Program Learning
Michael Bukatin, Steve Matthews
We consider two classes of computations which admit taking linear combinations of execution runs: probabilistic sampling and generalized animation. We argue that the task of progra…
cs.LO2015
Mathematics of Domains
Michael A. Bukatin
Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent dat…