Computer algebra in modern functional languages / Computer Algebra in Modern Functional Languages

AUTOR(ES)
DATA DE PUBLICAÇÃO

2007

RESUMO

Muitos sistemas de computação algébrica foram propostos e implementados. A maioria deles são implementados ou até mesmo implementam linguagens sem a propriedade da referência transparencial, 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 biblioteca na linguagem de programação Haskell, que é uma linguagem funcional moderna com a propriedade da referência transparencial desejada. O autor apresenta os fundamentos e algoritmos básicos para manipulação de expressões algé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ção da biblioteca de uma forma modular, de forma que ela possa ser facilmente estendida com a inclusão de novas fórmulas algébricas e novas operações sobre fórmulas. Tais extensões devem ser compatíveis com versões anteriores da biblioteca. Esta tese também contribui por mostrar que linguagens funcionais modernas como Haskell são viáveis para a programação de sistemas práticos, até mesmo podendo ser melhores que linguagens convencionais em alguns aspectos, como nível de abstração.

ASSUNTO(S)

inteligência artificial programação funcional artificial intelligence functional programming engenharia eletrica computação algébrica haskell computer algebra haskell linguagens funcionais programação funcional (computação) functional languages

ACESSO AO ARTIGO

Documentos Relacionados