Browsing by Subject "Tipos abstratos : Dados"
Now showing items 1-2 of 2
-
Definição formal de tipos abstratos de dados através de um exemplo
(1981) [Dissertation]Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo ... -
Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
(1992) [Dissertation]A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação ...