Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/2073
Título: | Estudo e implementação de um sistema automático de transformação de programas recursivos | Autor: | Costa, Ernesto Jorge Fernandes | Palavras-chave: | Sistemas de energia; Inteligência artificial; Programação automática; Recursão | Data: | 24-Jan-1985 | Citação: | COSTA, Ernesto Jorge Fernandes - Estudo e implementação de um sistema automático de transformação de programas recursivos. Coimbra, 1984. | Resumo: | Esta tese tem por objectivo a construção de um sistema que permita transformar de forma automática, um programa recursivo na versão iterativa equivalente. Deste modo consegue-se optimizar o programa quer do ponto de vista do espaço ocupado quer do ponto de vista do tempo de execução. O sistema apresentado é uma extensão – do ponto de vista teórico e do ponto de vista prático – do sistema, baseado no método enrolar-desenrolar, de Burstall e Darlington. Introduz-se a noção de generalização numa teoria equacional e mostra-se a sua ligação à definição automática da função «eureka», usada nos sistemas anteriores de transformação de programas. Mostra-se a ligação do problema da transformação de programas ao problema da demonstração de teoremas. Introduz-se a noção de sistemas t-completos que permite resolver a questão da utilização de equações na demonstração de teoremas. O sistema, escrito na linguagem VLISP, corre num PDP/11 sob o sistema operativo RT-11. | Descrição: | Tese de doutoramento em Ciências da Engenharia (Engenharia Electrotécnica, especialidade Informática) apresentada à Fac. de Ciências e Tecnologia de Coimbra | URI: | https://hdl.handle.net/10316/2073 | Direitos: | embargoedAccess |
Aparece nas coleções: | FCTUC Eng.Electrotécnica - Teses de Doutoramento |
Mostrar registo em formato completo
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.