Etude on Recursion Elimination

Etude on Recursion Elimination

Transformation-based program verification was a very important topic in early years of theory of programming. Great computer scientists contributed to these studies: John McCarthy, Amir Pnueli, Donald Knuth ... Many fascinating examples were examined and resulted in recursion elimination techniques...

Full description

Bibliographic Details
Main Author: Nikolay Shilov
Format: Article
Language:English
Published: Yaroslavl State University 2018-10-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
recursive and standard program schemata
recursive and iterative programs
functional equivalence of programs and program schemata
ascending and descending dynamic programming
recursion elimination
static and dynamic memory
associative and standard arrays
Online Access:https://www.mais-journal.ru/jour/article/view/756

Internet

https://www.mais-journal.ru/jour/article/view/756

Similar Items