A Programming Language for the Interval Geometric Machine

Detalhes bibliográficos
Autor(a) principal: Reiser, Renata Hax Sander
Data de Publicação: 2003
Outros Autores: Costa, Antonio Carlos da Rocha, Dimuro, Graçaliz Pereira
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da FURG (RI FURG)
Texto Completo: http://repositorio.furg.br/handle/1/2812
Resumo: This paper presents an interval version of the Geometric Machine Model (GMM)and the programming language induced by its structure. The GMM is an abstract machine model, based on Girard's coherence space, capable of modelling sequential,alternative, parallel (synchronous) and non-deterministic computations on a (possi-bly in¯nite) shared memory. The processes of the GMM are inductively constructed in a Coherence Space of Processes. The memory of the GMM, supporting a coher- ence space of states, is conceived as the set of points of a three dimensional euclidian space. The version of the GMM presented here operates with real intervals, and is de¯ned to model the semantics of algorithms of Interval Mathematics. Using the programming language induced by such structure, simple interval algorithms are presented, and their domain-theoretic semantics in the machine model is given.
id FURG_7874d160a0c5da72c675b1139c96ab0b
oai_identifier_str oai:repositorio.furg.br:1/2812
network_acronym_str FURG
network_name_str Repositório Institucional da FURG (RI FURG)
repository_id_str
spelling A Programming Language for the Interval Geometric MachineThis paper presents an interval version of the Geometric Machine Model (GMM)and the programming language induced by its structure. The GMM is an abstract machine model, based on Girard's coherence space, capable of modelling sequential,alternative, parallel (synchronous) and non-deterministic computations on a (possi-bly in¯nite) shared memory. The processes of the GMM are inductively constructed in a Coherence Space of Processes. The memory of the GMM, supporting a coher- ence space of states, is conceived as the set of points of a three dimensional euclidian space. The version of the GMM presented here operates with real intervals, and is de¯ned to model the semantics of algorithms of Interval Mathematics. Using the programming language induced by such structure, simple interval algorithms are presented, and their domain-theoretic semantics in the machine model is given.2012-11-22T16:14:23Z2012-11-22T16:14:23Z2003info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfREISER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. A Programming Language for the Interval Geometric Machine. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 84, p. 1-12, 2003. Disponível em: <http://www.google.com.br/#hl=pt-BR&tbo=d&output=search&sclient=psy-ab&q=A+Programming+Language+for+the+Interval+Geometric+Machine.&oq=A+Programming+Language+for+the+Interval+Geometric+Machine.&gs_l=hp.3...2121.2121.1.3352.1.1.0.0.0.0.339.339.3-1.1.0...0.0...1c.1.NbtlQxEk4Do&psj=1&bav=on.2,or.r_gc.r_pw.r_qf.&fp=a9a5303786c6e9f8&bpcl=38897761&biw=1280&bih=691> Acesso em:15 nov. 2012.http://repositorio.furg.br/handle/1/2812engReiser, Renata Hax SanderCosta, Antonio Carlos da RochaDimuro, Graçaliz Pereirainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da FURG (RI FURG)instname:Universidade Federal do Rio Grande (FURG)instacron:FURG2014-09-08T12:00:45Zoai:repositorio.furg.br:1/2812Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2014-09-08T12:00:45Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)false
dc.title.none.fl_str_mv A Programming Language for the Interval Geometric Machine
title A Programming Language for the Interval Geometric Machine
spellingShingle A Programming Language for the Interval Geometric Machine
Reiser, Renata Hax Sander
title_short A Programming Language for the Interval Geometric Machine
title_full A Programming Language for the Interval Geometric Machine
title_fullStr A Programming Language for the Interval Geometric Machine
title_full_unstemmed A Programming Language for the Interval Geometric Machine
title_sort A Programming Language for the Interval Geometric Machine
author Reiser, Renata Hax Sander
author_facet Reiser, Renata Hax Sander
Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
author_role author
author2 Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
author2_role author
author
dc.contributor.author.fl_str_mv Reiser, Renata Hax Sander
Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
description This paper presents an interval version of the Geometric Machine Model (GMM)and the programming language induced by its structure. The GMM is an abstract machine model, based on Girard's coherence space, capable of modelling sequential,alternative, parallel (synchronous) and non-deterministic computations on a (possi-bly in¯nite) shared memory. The processes of the GMM are inductively constructed in a Coherence Space of Processes. The memory of the GMM, supporting a coher- ence space of states, is conceived as the set of points of a three dimensional euclidian space. The version of the GMM presented here operates with real intervals, and is de¯ned to model the semantics of algorithms of Interval Mathematics. Using the programming language induced by such structure, simple interval algorithms are presented, and their domain-theoretic semantics in the machine model is given.
publishDate 2003
dc.date.none.fl_str_mv 2003
2012-11-22T16:14:23Z
2012-11-22T16:14:23Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv REISER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. A Programming Language for the Interval Geometric Machine. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 84, p. 1-12, 2003. Disponível em: <http://www.google.com.br/#hl=pt-BR&tbo=d&output=search&sclient=psy-ab&q=A+Programming+Language+for+the+Interval+Geometric+Machine.&oq=A+Programming+Language+for+the+Interval+Geometric+Machine.&gs_l=hp.3...2121.2121.1.3352.1.1.0.0.0.0.339.339.3-1.1.0...0.0...1c.1.NbtlQxEk4Do&psj=1&bav=on.2,or.r_gc.r_pw.r_qf.&fp=a9a5303786c6e9f8&bpcl=38897761&biw=1280&bih=691> Acesso em:15 nov. 2012.
http://repositorio.furg.br/handle/1/2812
identifier_str_mv REISER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. A Programming Language for the Interval Geometric Machine. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 84, p. 1-12, 2003. Disponível em: <http://www.google.com.br/#hl=pt-BR&tbo=d&output=search&sclient=psy-ab&q=A+Programming+Language+for+the+Interval+Geometric+Machine.&oq=A+Programming+Language+for+the+Interval+Geometric+Machine.&gs_l=hp.3...2121.2121.1.3352.1.1.0.0.0.0.339.339.3-1.1.0...0.0...1c.1.NbtlQxEk4Do&psj=1&bav=on.2,or.r_gc.r_pw.r_qf.&fp=a9a5303786c6e9f8&bpcl=38897761&biw=1280&bih=691> Acesso em:15 nov. 2012.
url http://repositorio.furg.br/handle/1/2812
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da FURG (RI FURG)
instname:Universidade Federal do Rio Grande (FURG)
instacron:FURG
instname_str Universidade Federal do Rio Grande (FURG)
instacron_str FURG
institution FURG
reponame_str Repositório Institucional da FURG (RI FURG)
collection Repositório Institucional da FURG (RI FURG)
repository.name.fl_str_mv Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)
repository.mail.fl_str_mv
_version_ 1813187247585886208

Registros relacionados