Constraints on recursion in the Hume expression language
Greg Michaelson · 2014
Abstract. Hume is a proposed new environment for constructing safety critical systems. Here, possible constraints on recursion in the Hume expression language, to aid termination determinacy, are discussed and structural operational semantics for static syntactic checks for simple and nested recursion are presented. 1