Definição formal de tipos abstratos de dados através de um exemplo
![Thumbnail](/bitstream/handle/10183/21342/000084358.pdf.jpg?sequence=3&isAllowed=y)
Visualizar/abrir
Data
1981Orientador
Nível acadêmico
Mestrado
Tipo
Assunto
Resumo
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 completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua c ...
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 completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objetivo de tratar problemas decorrentes da abstração de tipos limitados e estáticos, bem como suas respectivas soluções, uma vez que estes problemas, devido a sua complexidade, não são comumente abordados. ...
Abstract
This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available lite ...
This paper is concerned with the basic concepts of data abstraction and describes several techniques for specifying abstract data types; especially it focusses on the algebraic- axiomatic technique. A complete example; the Grid, is presented from its specification to the proof of correctness of its implementation. The main goal is to deal with problems stemming from abstracting limited and static data types. These problems, due to its complexity, are not commonly discussed in the available literature. ...
Instituição
Universidade Federal do Rio Grande do Sul. Curso de Pós-Graduação em Ciência da Computação.
Coleções
-
Ciências Exatas e da Terra (5092)Computação (1752)
Este item está licenciado na Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)