Results 241 to 250 of about 425,347 (290)

A predicative analysis of structural recursion

Journal of Functional Programming, 2002
We introduce a language based upon lambda calculus with products, coproducts and strictly positive inductive types that allows the definition of recursive terms. We present the implementation (foetus) of a syntactical check that ensures that all such terms are structurally recursive, i.e.
Andreas Abel 0001, Thorsten Altenkirch
openaire   +1 more source

An Analysis of Iterative and Recursive Problem Performance

Proceedings of the 52nd ACM Technical Symposium on Computer Science Education, 2021
Iteration and recursion are fundamental programming constructs in introductory computer science. Understanding the relationship between contextual factors, such as problem formulation or student background, that relate to performance on iteration and recursion problems can help inform pedagogy.
Madeline Endres, Westley Weimer, Amir Kamil   +2 more
openaire   +1 more source

Analysis of recursive state machines

ACM Transactions on Programming Languages and Systems, 2005
Recursive state machines (RSMs) enhance the power of ordinary state machines by allowing vertices to correspond either to ordinary states or to potentially recursive invocations of other state machines. RSMs can model the control flow in sequential imperative programs containing recursive procedure calls.
Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis   +5 more
openaire   +1 more source

Periodicity analysis of movement recursions

Journal of Theoretical Biology, 2013
Many animals adaptively use their environments by adjusting how long and how often they use specific areas of their home range. Whereas questions about residence times have been addressed for a long time, the study of movement recursions has only recently received due interest.
Louise, Riotte-Lambert, Simon, Benhamou, Simon, Chamaillé-Jammes   +2 more
openaire   +2 more sources

Recursive Decision Systems: An Existence Analysis

Econometrica, 1970
In this paper recursive decision systems are structured so that topological concepts can be applied to formulate and help solve existence problems. Existence of stationary states and compact orbits is established. The analysis is then applied to recursive programs, a special class of recursive decision systems in which the decision operator is a ...
Day, Richard H, Kennedy, Peter E
openaire   +2 more sources

Dependence analysis for recursive data

Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225), 2002
The paper describes a general and powerful method for dependence analysis in the presence of recursive data constructions. The particular analysis presented is for identifying partially dead recursive data, but the general framework for representing and manipulating recursive substructures applies to all dependence analyses. The method uses projections
openaire   +1 more source

A recursive analysis for form cell recognition

Proceedings of Sixth International Conference on Document Analysis and Recognition, 2002
It is very difficult to analyze form structures because of breaks in lines and additional noises in the form image. This paper focuses on cell recognition in low quality form images. The recognition method has two features to achieve robustness in cell recognition.
Hiroshi Shinjo, Eiichi Hadano, Katsumi Marukawa, Yoshihiro Shima, Hiroshi Sako   +4 more
openaire   +1 more source

Analysis of Recursive State Machines

2001
Recursive state machines (RSMs) enhance the power of ordinary state machines by allowing vertices to correspond either to ordinary states or to potentially recursive invocations of other state machines. RSMs can model the control flow in sequential imperative programs containing recursive procedure calls.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis   +2 more
openaire   +1 more source

Recursion analysis for compiler optimization

Communications of the ACM, 1976
A relatively simple method for the detection of recursive use of procedures is presented for use in compiler optimization. Implementation considerations are discussed, and a modification of the algorithm is given to further improve optimization. This analysis can also be used to determine what possible subset of values could be assumed by variables ...
openaire   +2 more sources

Recursive Analysis Characterized as a Class of Real Recursive Functions

Fundam. Informaticae, 2006
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis. In a different and orthogonal work, we proposed a minimization schema that allows to provide a class of real recursive functions that corresponds to ...
Bournez, Olivier, Hainry, Emmanuel
openaire   +3 more sources