Interval Term Rewriting System: Toward A Formal Model for Interval Computation
DOI:
https://doi.org/10.5540/tema.2006.07.02.0249Resumo
We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval compu- tation. We start presenting a term rewriting system whose rules (directed equa- tions) perform binary floating-point arithmetic, which is based on IEEE-754 Stan- dard. Next, this primitive system is extended with rules for interval arithmetic. Finally, correctness and termination of our system are both discussed.Referências
[1] F. Baader, T. Nipkow, “Term Rewriting and All That”, Cambridge University Press, 1998.
W.S. Brainerd, L. Landweber, “Theory of Computation”, John Wiley & Sons, New York, USA, 1974.
A.X. Carvalho, “Interval Term Rewriting System: Toward a formal model for interval computation”, Master thesis, UFRN-DIMAp, Natal, Brazil, 2005.
D. Goldberg, What every computer scientist should know about floating-point arithmetic, in “ACM Computing Surveys” pp. 5-48, 1991.
T. Hickey, Q. Ju, M. van Emden, Interval arithmetic: from principles to imple- mentation, in “Journal of the ACM” pp. 1038-1068, 2001.
S. Hollasch, IEEE standard 754 floating-point numbers, http://steve.hollasch.net/cgindex/coding/ieeefloat.html.
IEEE, “IEEE standard for binary floating-point arithmetic”, IEEE Computer Society Press, 1985.
R.B. Kearfott, Interval computations: Introduction, uses, and resources, in “Euromath Bulletin” pp. 95-112, 1996.
R. Kennaway, Complete term rewrite systems for decimal arithmetic and other total recursive functions, “Second International Workshop on Termination”, La Bresse, France, 1995.
C. Kirchner, H. Kirchner, “Rewriting Solving Proving”, LORIA, INRIA & CNRS, 2001.
H.R. Walters, H. Zantema, Rewrite systems for integer arithmetic, in RTA pp. 324–338, “Centrum voor Wiskunde en Informatica (CWI)”, 1995.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Política para Periódicos de Acesso Livre
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
- Esta é uma revista de acesso aberto, o que significa que todo o conteúdo é livremente disponível gratuitamente para o usuário ou sua instituição. Os usuários estão autorizados a ler, baixar, copiar, distribuir, imprimir, pesquisar ou vincular os textos completos dos artigos, ou usá-los para qualquer outro propósito legal, sem pedir permissão prévia do editor ou do autor. Isso está de acordo com a definição de acesso aberto do BOAI.
Todo o conteúdo do periódico está licenciado sob uma Licença Creative Commons do tipo atribuição BY.