Transforming Recursion to Iteration in Programming

2011 ◽  
pp. 3784-3788
Author(s):  
Athanasios Tsadiras
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Recursive Algorithm ◽  
The Other ◽  
Recursive Call ◽  
Recursive Procedure ◽  
Memory Space ◽  
Space Efficiency ◽  
Recursive Programs ◽  
Number Of Iterations

The main advantage of a Recursive Algorithm (an algorithm defined in terms of itself) is that it can be easily described and easily implemented in a programming language (van Breughel, 1997). On the other hand, the efficiency of such an algorithm is relatively low because for every recursive call not yet terminated, a number of data should be maintained in a stack, causing time delays and requiring higher memory space (Rohl, 1984). Solving the same problem iteratively instead of recursively can improve time and space efficiency. For example, to solve a problem that involves N recursive procedure calls, it will require stack space linear to N. On the contrary, using iteration, the program will need a constant amount of space, independent of the number of iterations. There are programming languages, such as Prolog, that do not possess built-in iterative structures and so recursion should be used instead. Nevertheless, there are ways to write recursive programs that have similar behaviour with that of the corresponding iterative programs.

scholarly journals Well-founded Functions and Extreme Predicates in Dafny: A Tutorial

10.29007/v2m3 ◽  
2018 ◽  
Author(s):  
Rustan Leino
Keyword(s):  
Boolean Function ◽  
Programming Language ◽  
Inference Rules ◽  
Recursive Call ◽  
Constructive Logic ◽  
Smt Solver ◽  
First Order ◽  
The Core ◽  
General Terms ◽  
The Difference

A recursive function is well defined if its every recursive callcorresponds a decrease in some well-founded order. Such a function issaid to be _terminating_ and is in many applications the standard wayto define a function. A boolean function can also be defined asan extreme solution to a recurrence relation, that is, as a least orgreatest fixpoint of some functor. Such _extreme predicates_ areuseful to encode a set of inductive or coinductive inference rulesand are at the core of many a constructive logic. Theverification-aware programming language Dafny supports bothterminating functions and extreme predicates. This tutorialdescribes the difference in general terms, and then describes novelsyntactic support in Dafny for defining and proving lemmas withextreme predicates. Various examples and considerations are given.Although Dafny's verifier has at its core a first-order SMT solver,Dafny's logical encoding makes it possible to reason about fixpointsin an automated way.

scholarly journals Definition of Flat Poset and Existence Theorems for Recursive Call

2014 ◽  
Vol 22 (1) ◽  
pp. 1-10
Author(s):  
Kazuhisa Ishida ◽  
Yasunari Shidama ◽  
Adam Grabowski
Keyword(s):  
Existence Theorems ◽  
Recursive Call ◽  
Engineering Approach ◽  
Information Engineering ◽  
Chain Complete ◽  
Mathematical Quality ◽  
Definition Of

Summary This text includes the definition and basic notions of product of posets, chain-complete and flat posets, flattening operation, and the existence theorems of recursive call using the flattening operator. First part of the article, devoted to product and flat posets has a purely mathematical quality. Definition 3 allows to construct a flat poset from arbitrary non-empty set [12] in order to provide formal apparatus which eanbles to work with recursive calls within the Mizar langauge. To achieve this we extensively use technical Mizar functors like BaseFunc or RecFunc. The remaining part builds the background for information engineering approach for lists, namely recursive call for posets [21].We formalized some facts from Chapter 8 of this book as an introduction to the next two sections where we concentrate on binary product of posets rather than on a more general case.

The Calculation of Product Carbon Footprint and Optimization Design

2013 ◽  
Vol 333-335 ◽  
pp. 2156-2159
Author(s):  
Hai Shu Ma ◽  
Chuan Hong Zhou ◽  
Ke Sheng Wang ◽  
Jin Jie Xiao
Keyword(s):  
Greenhouse Gas ◽  
Carbon Footprint ◽  
Emission Reduction ◽  
Optimization Design ◽  
Carbon Emission ◽  
Greenhouse Gas Emission ◽  
Hot Spot ◽  
Recursive Call ◽  
Gas Emission ◽  
Manufacturing Stage

With more and more governments and organizations taking Carbon Footprint as the measure of greenhouse gas emission, the study about the calculation of carbon footprint has become a hot spot. The paper analyzed the carbon footprint in different stages of a product life circle, including manufacturing, transporting, using and disposing and also studied the part contributing the largest carbon emission. Especially in the calculation of carbon emission of manufacturing stage, recursive call algorithm was applied. The optimization design model of carbon footprint was also depicted. All the work this paper had undertaken facilitates to formulate specific carbon emission reduction measures.

Sign in / Sign up

Export Citation Format

Share Document