Article Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to ...

A program that features various recursive functions in separated tabs made in a special panel. The functions are: Fibonacci, Ackermann, Factorial, Binary Search and Number File Search. Made in the ...

Abstract: 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 ...

ABSTRACT: It is shown that the process of conventional functional differentiation does not apply to functionals whose domain (and possibly range) is subject to the condition of integral normalization, ...