作者：
Manoury, PascalINRIA
Domaine de Voluceau Rocquencourt Le Chesnay CedexF-78t53 France
This paper discusses the problem of translating a (recursive) function definition expressed in a ML like syntax into a typed A-term. In this paper, we recall how termination proofs can be solutions of the investigated...
详细信息
We consider identification of indices of functions in recursively enumerable classes of total recursive functions. The number of changes of the hypotheses is used as the complexity measure of the inductive inference m...
详细信息
We describe a learning-based approach for verifying recursive functions. The Boolean formula learning algorithm CDNF is used to automatically infer function summaries for recursive functions. In contrast to traditiona...
详细信息
The limited support for defining recursive functions and generating induction schemes is a major shortcoming of the HOL system. In this paper, a theory of primitive recursive functions and a tool that minimizes the pr...
详细信息
We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improves the execution time of such functions and also...
详细信息
Determining the approximate degree composition for Boolean functions remains a significant unsolved problem in Boolean function complexity. In recent decades, researchers have concentrated on proving that approximate ...
详细信息
This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The ...
详细信息
With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is essential in order to obtain a Turing-complete com...
详细信息
This paper presents a computational framework to approach the resilience properties of the systems in many different domains. The proposal models elementary behaviors of the systems by means of a set of recursive func...
详细信息
暂无评论