"Lambda" PROLOG : interpretador e unificação de ordem superior

"Lambda" PROLOG : interpretador e unificação de ordem superior

Artemio Ludwig

TESE

Português

(Broch.)

T/UNICAMP L967L

Campinas, SP : [s.n.], 1992.

[146]f. : il.

(Publicação FEE)

Orientador : Wagner C. Amaral

Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: A implementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) constitui-se num desafio ainda não vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigável permitindo estimular sua adoção e (b) dotar as implementações com um desempenho que não...

Abstract: Efficient Interpreter implementations for Righer Order Logic (ROL) programming language still remain as a challenge that can be splitted into two classes: (a) to make the language friendlier in order to stimulate the user to adopt it, and (b) to provi de the interpreter with a performance...

"Lambda" PROLOG : interpretador e unificação de ordem superior

Artemio Ludwig


										

"Lambda" PROLOG : interpretador e unificação de ordem superior

Artemio Ludwig

    Exemplares