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

תיאור מלא

מידע ביבליוגרפי
מחבר ראשי: Nikolay Shilov
פורמט: Article
שפה:English
יצא לאור: Yaroslavl State University 2018-10-01
סדרה:Моделирование и анализ информационных систем
נושאים:
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
גישה מקוונת:https://www.mais-journal.ru/jour/article/view/756

אינטרנט

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

פריטים דומים