Uma implementação da semantica de ações orientada a objetos em maude /

Abstract

Orientador : Martin A. Musicante

Co-orientador : Andre Luiz Pires Guedes

Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciencias Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2007

Inclui bibliografia