Details

Computer Algebra in Modern FunctionalLanguages Computer algebra in modern functional languages

by Malaquias, José Romildo

Abstract (Summary)
Muitos sistemas de computação algébrica foram propostos e implementados. A maioria delessão implementados ou até mesmo implementam linguagens sem a propriedade da referênciatransparencial, o que torna difícil e até mesmo impraticável a prova de correção de programas.Esta tese apresenta um sistema de computação algébrica implementado como uma bibliotecana linguagem de programação Haskell, que é uma linguagem funcional moderna com a propriedadeda referência transparencial desejada.O autor apresenta os fundamentos e algoritmos básicos para manipulação de expressõesalgébricas em um contexto declarativo, compatível com a Matemática.Examina-se a adequação de construções oferecidas pela linguagem Haskell para a implementaçãoda biblioteca de uma forma modular, de forma que ela possa ser facilmente estendidacom a inclusão de novas fórmulas algébricas e novas operações sobre fórmulas. Tais extensõesdevem ser compatíveis com versões anteriores da biblioteca.Esta tese também contribui por mostrar que linguagens funcionais modernas como Haskellsão viáveis para a programação de sistemas práticos, até mesmo podendo ser melhores quelinguagens convencionais em alguns aspectos, como nível de abstração.
This document abstract is also available in English.
Bibliographical Information:

Advisor:Luciano Vieira Lima; Carlos Roberto Lopes; Antônio Eduardo Costa Pereira

School:Universidade Federal de Uberlândia

School Location:Brazil

Source Type:Master's Thesis

Keywords:ENGENHARIA ELETRICA Inteligência Artificial Computação Algébrica Linguagens Funcionais Programação Funcional funcional (Computação)

ISBN:

Date of Publication:02/26/2007

© 2009 OpenThesis.org. All Rights Reserved.