|
Registro Completo |
|
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: |
-- |
|
Marc: |
LEADER 01199naa a2200157 a 4500
001 1002796
005 2013-11-25
008 1994 bl uuuu u00u1 u #d
100 1 $aOLIVEIRA, W. R. de
245 $aQuasimetric somatoria - algebras.
260 $c1994
300 $ap. 547-561.
520 $aWe 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.
650 $aalgebra
700 1 $aSMYTH, M. B.
773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
