{"id":"https://openalex.org/W2041769479","doi":"https://doi.org/10.1016/s1571-0661(04)80852-1","title":"A Programming Language for the Interval Geometric Machine","display_name":"A Programming Language for the Interval Geometric Machine","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W2041769479","doi":"https://doi.org/10.1016/s1571-0661(04)80852-1","mag":"2041769479"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80852-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80852-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80852-1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044019379","display_name":"Renata Reiser","orcid":"https://orcid.org/0000-0001-9934-3115"},"institutions":[{"id":"https://openalex.org/I110676245","display_name":"Universidade Cat\u00f3lica de Pelotas","ror":"https://ror.org/0376myh60","country_code":"BR","type":"education","lineage":["https://openalex.org/I110676245"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Renata Hax Sander Reiser","raw_affiliation_strings":["Escola de Inform\u00e1tica, Universidade Cat\u00f3Alica de Pelotas, Pelotas, 96010-000, Brazil"],"affiliations":[{"raw_affiliation_string":"Escola de Inform\u00e1tica, Universidade Cat\u00f3Alica de Pelotas, Pelotas, 96010-000, Brazil","institution_ids":["https://openalex.org/I110676245"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065797206","display_name":"Ant\u00f4nio Carlos da Rocha Costa","orcid":"https://orcid.org/0000-0001-7954-8420"},"institutions":[{"id":"https://openalex.org/I110676245","display_name":"Universidade Cat\u00f3lica de Pelotas","ror":"https://ror.org/0376myh60","country_code":"BR","type":"education","lineage":["https://openalex.org/I110676245"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Ant\u00f4nio Carlos da Rocha Costa","raw_affiliation_strings":["Escola de Inform\u00e1tica, Universidade Cat\u00f3Alica de Pelotas, Pelotas, 96010-000, Brazil"],"affiliations":[{"raw_affiliation_string":"Escola de Inform\u00e1tica, Universidade Cat\u00f3Alica de Pelotas, Pelotas, 96010-000, Brazil","institution_ids":["https://openalex.org/I110676245"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053196020","display_name":"Gra\u00e7aliz Pereira Dimuro","orcid":"https://orcid.org/0000-0001-6986-9888"},"institutions":[{"id":"https://openalex.org/I110676245","display_name":"Universidade Cat\u00f3lica de Pelotas","ror":"https://ror.org/0376myh60","country_code":"BR","type":"education","lineage":["https://openalex.org/I110676245"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Gra\u00e7aliz Pereira Dimuro","raw_affiliation_strings":["Escola de Inform\u00e1tica, Universidade Cat\u00f3Alica de Pelotas, Pelotas, 96010-000, Brazil"],"affiliations":[{"raw_affiliation_string":"Escola de Inform\u00e1tica, Universidade Cat\u00f3Alica de Pelotas, Pelotas, 96010-000, Brazil","institution_ids":["https://openalex.org/I110676245"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5044019379","https://openalex.org/A5053196020","https://openalex.org/A5065797206"],"corresponding_institution_ids":["https://openalex.org/I110676245"],"apc_list":null,"apc_paid":null,"fwci":1.4547,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81897748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"84","issue":null,"first_page":"154","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9896000027656555,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9865000247955322,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6323723793029785},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5619147419929504},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.5137172937393188},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48312947154045105},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4771380126476288},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4605080485343933},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43653807044029236},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41848987340927124},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3023846745491028},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28470340371131897},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.07477569580078125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6323723793029785},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5619147419929504},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.5137172937393188},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48312947154045105},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4771380126476288},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4605080485343933},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43653807044029236},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41848987340927124},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3023846745491028},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28470340371131897},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.07477569580078125},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s1571-0661(04)80852-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80852-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:americanae.aecid.es:1626169","is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=1626169","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da FURG (RI FURG)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repositorio.furg.br:1/2812","is_oa":true,"landing_page_url":"http://repositorio.furg.br/handle/1/2812","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"instacron:FURG","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80852-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80852-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W88975855","https://openalex.org/W177958661","https://openalex.org/W1503973138","https://openalex.org/W1553074388","https://openalex.org/W1572370762","https://openalex.org/W1580809199","https://openalex.org/W1994104792","https://openalex.org/W2065170070","https://openalex.org/W2105223068","https://openalex.org/W2911865844","https://openalex.org/W2914212232","https://openalex.org/W6633965075","https://openalex.org/W6648869708","https://openalex.org/W6758490710","https://openalex.org/W6758921281"],"related_works":["https://openalex.org/W1855927527","https://openalex.org/W2047793074","https://openalex.org/W1587224678","https://openalex.org/W2776044206","https://openalex.org/W198981881","https://openalex.org/W2169450644","https://openalex.org/W1503497345","https://openalex.org/W2793653224","https://openalex.org/W1988666619","https://openalex.org/W1499261285"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"an":[3,23],"interval":[4,118],"version":[5,87],"of":[6,33,50,60,64,71,78,80,88,104,106],"the":[7,13,51,65,76,89,102,110,127],"Geometric":[8],"Machine":[9],"Model":[10],"(GMM)":[11],"and":[12,39,97,122],"programming":[14,111],"language":[15,112],"induced":[16,113],"by":[17,114],"its":[18],"structure.":[19],"The":[20,48,62,86],"GMM":[21,52,90],"is":[22,73,98,130],"abstract":[24],"machine":[25,128],"model,":[26],"based":[27],"on":[28,42],"Girard's":[29],"coherence":[30,69],"space,":[31],"capable":[32],"modelling":[34],"sequential,":[35],"alternative,":[36],"parallel":[37],"(synchronous)":[38],"non-deterministic":[40],"computations":[41],"a":[43,57,68,81],"(possibly":[44],"infinite)":[45],"shared":[46],"memory.":[47],"processes":[49],"are":[53,120],"inductively":[54],"constructed":[55],"in":[56,126],"Coherence":[58],"Space":[59],"Processes.":[61],"memory":[63],"GMM,":[66],"supporting":[67],"space":[70],"states,":[72],"conceived":[74],"as":[75],"set":[77],"points":[79],"three":[82],"dimensional":[83],"euclidian":[84],"space.":[85],"presented":[91],"here":[92],"operates":[93],"with":[94],"real":[95],"intervals,":[96],"defined":[99],"to":[100],"model":[101,129],"semantics":[103,125],"algorithms":[105,119],"Interval":[107],"Mathematics.":[108],"Using":[109],"such":[115],"structure,":[116],"simple":[117],"presented,":[121],"their":[123],"domain-theoretic":[124],"given.":[131]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}