Data/hora: 18/06/2024 17:36:50

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 25/06/1996
Data da última atualização: | 25/11/2013
Autoria: | OLIVEIRA, W. R. de; SMYTH, M. B.
Título: | Quasimetric somatoria - algebras.
Ano de publicação: | 1994
Fonte/Imprenta: | In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.
Páginas: | p. 547-561.
Idioma: | Inglês
Conteúdo: | We generalise the notion of ordered and metric somatoria -algebras. The main motivation for the generalisation comes from the specification of the Lazy Reals, a data type which can neither be specified by the ordered nor the metric approach to continous data type. The lazy reals are important in the formal specification of numerical programs. Due to space restrictions we limit ourselves here to lay down the foundations and the motivations for the quasimetric approach to data types specification and to present a naive specification of the lazy reals. In a companion paper [8] a more realistic specification of the lazy reals is presented where considerations about computability, eficiency, representation of real-valued functions, etc. are made.
Thesaurus Nal: | algebra.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3391-1) - ADD - PL - PP - 004 - SEM - 1996.00003 - DIS