{"id":"https://openalex.org/W7163131576","doi":"https://doi.org/10.48550/arxiv.2606.00692","title":"Grid Programs: A Two-Dimensional, Variable-Free Model of Computation","display_name":"Grid Programs: A Two-Dimensional, Variable-Free Model of Computation","publication_year":2026,"publication_date":"2026-05-30","ids":{"openalex":"https://openalex.org/W7163131576","doi":"https://doi.org/10.48550/arxiv.2606.00692"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.00692","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.00692","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.00692","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137650952","display_name":"Ezequiel L\u00f3pez-Rubio","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"L\u00f3pez-Rubio, Ezequiel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5137650952"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.36629998683929443,"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/T12162","display_name":"Cellular Automata and Applications","score":0.36629998683929443,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.14970000088214874,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.08410000056028366,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/pointer","display_name":"Pointer (user interface)","score":0.7279999852180481},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.7145000100135803},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6643999814987183},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5436999797821045},{"id":"https://openalex.org/keywords/call-stack","display_name":"Call stack","score":0.4593999981880188},{"id":"https://openalex.org/keywords/subroutine","display_name":"Subroutine","score":0.3806000053882599},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3756999969482422},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.37310001254081726},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.3610999882221222}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.779699981212616},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7279999852180481},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.7145000100135803},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6643999814987183},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5874999761581421},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5436999797821045},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5047000050544739},{"id":"https://openalex.org/C119024030","wikidata":"https://www.wikidata.org/wiki/Q759899","display_name":"Call stack","level":3,"score":0.4593999981880188},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.3806000053882599},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3756999969482422},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.37310001254081726},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.3610999882221222},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.35370001196861267},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35199999809265137},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.34389999508857727},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33410000801086426},{"id":"https://openalex.org/C197148329","wikidata":"https://www.wikidata.org/wiki/Q1546257","display_name":"Grid file","level":4,"score":0.3287000060081482},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.3181999921798706},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.311599999666214},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.30059999227523804},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.2639999985694885},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C183763347","wikidata":"https://www.wikidata.org/wiki/Q120976","display_name":"Factorial","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.2549999952316284},{"id":"https://openalex.org/C176370821","wikidata":"https://www.wikidata.org/wiki/Q1826459","display_name":"Linear space","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.00692","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.00692","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.00692","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.00692","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.48360687494277954,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,144,185],"introduce":[1],"Grid":[2,188,227],"Programs,":[3],"a":[4,68,88,95,146,151,172,175,178,182,230],"novel":[5],"model":[6,32,74],"of":[7,16,26,62,116,133,239],"computation":[8,225],"in":[9,48,244],"which":[10,43],"programs":[11,38],"are":[12,39,55,190],"finite":[13],"two-dimensional":[14,205],"arrangements":[15],"instructions":[17,63],"on":[18],"an":[19,44,91,169,194],"integer":[20],"grid":[21,65],"rather":[22],"than":[23],"linear":[24],"sequences":[25],"statements.":[27],"Three":[28],"properties":[29],"distinguish":[30],"this":[31],"fundamentally":[33],"from":[34],"classical":[35],"frameworks:":[36],"(i)":[37],"planar":[40],"structures":[41],"through":[42,87,164],"instruction":[45,118,153],"pointer":[46],"moves":[47],"the":[49,73,117,236],"four":[50],"cardinal":[51],"directions;":[52],"(ii)":[53],"there":[54],"no":[56,76],"syntax":[57],"constraints,":[58],"so":[59],"any":[60],"assignment":[61],"to":[64,203,212,221],"cells":[66],"constitutes":[67],"valid":[69],"program;":[70],"and":[71,94,136,141,159,162,181,198,210,218,220,223,250],"(iii)":[72],"uses":[75],"named":[77,103],"variables":[78],"or":[79],"explicit":[80],"memory":[81],"addresses.":[82],"Program":[83],"state":[84],"is":[85,107],"maintained":[86],"data":[89],"stack,":[90,93],"address":[92,121],"circularly":[96],"doubly":[97],"linked":[98],"list":[99],"accessed":[100],"via":[101],"three":[102],"pointers.":[104],"Control":[105],"flow":[106],"achieved":[108],"spatially,":[109],"with":[110,241],"branching":[111],"encoded":[112],"as":[113,208,216],"perpendicular":[114],"turns":[115],"pointer.":[119],"The":[120],"stack":[122],"stores":[123],"triplets":[124],"(cell":[125],"row,":[126],"cell":[127],"column,":[128],"direction),":[129],"enabling":[130],"precise":[131],"restoration":[132],"both":[134],"position":[135],"heading":[137],"after":[138],"branches,":[139],"loops,":[140],"function":[142],"calls.":[143],"give":[145],"formal":[147],"operational":[148],"semantics,":[149],"present":[150],"representative":[152],"set":[154],"covering":[155],"arithmetic,":[156],"control":[157],"flow,":[158],"linked-list":[160],"manipulation,":[161],"work":[163],"several":[165],"detailed":[166],"examples,":[167],"including":[168],"absolute-value":[170],"function,":[171],"factorial":[173],"computation,":[174,240],"linear-search":[176],"algorithm,":[177],"string-reversal":[179],"program,":[180],"while-loop":[183],"summation.":[184],"establish":[186],"that":[187],"Programs":[189,228],"Turing-complete":[191],"by":[192],"simulating":[193],"arbitrary":[195],"register":[196],"machine,":[197],"we":[199],"discuss":[200],"their":[201],"relationship":[202],"prior":[204],"languages":[206,214],"such":[207,215],"Befunge":[209],"Funge-98,":[211],"stack-based":[213],"Forth":[217],"PostScript,":[219],"dataflow":[222],"spatial":[224],"models.":[226],"offer":[229],"fresh":[231],"vantage":[232],"point":[233],"for":[234],"exploring":[235],"design":[237],"space":[238],"potential":[242],"applications":[243],"visual":[245],"programming":[246],"environments,":[247],"cellular-automaton-inspired":[248],"hardware,":[249],"obfuscation-resistant":[251],"code.":[252]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-03T00:00:00"}
