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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Nikolay Shilov
Formato: Artigo
Idioma:Inglês
Publicado em: Yaroslavl State University 2018-10-01
Colecção:Modelirovanie i Analiz Informacionnyh Sistem
Assuntos:
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
Acesso em linha:https://www.mais-journal.ru/jour/article/view/756
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados