BDBComp
Parceria:
SBC
Mechanised Refinement of Procedures

Ana CavalcantiManuela Xavier

Refine is a tool that supports the application of Morgan’s refinement calculus. It was designed to support teaching and use by beginners; it is already in use.We describe here the extension of Refine to support the development of (possibly recursive) procedures in the algebraic style of the refinement calculus already adopted by Refine. Refine é uma ferramenta que suporta a aplicação do cálculo de refinamentos de Morgan. Ela foi projetada para apoiar ensino e uso por iniciantes, e já está em uso. Este artigo descreve a extensão de Refine para apoiar o desenvolvimento de procedimentos, possivelmente recursivos, no estilo algébrico do cálculo de refinamentos já adotado por Refine.

http://www.lbd.dcc.ufmg.br/colecoes/sbmf/2005/005.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD