{"id":"https://openalex.org/W7161686165","doi":"https://doi.org/10.48550/arxiv.2605.17008","title":"The IsalProgram Programming Language","display_name":"The IsalProgram Programming Language","publication_year":2026,"publication_date":"2026-05-16","ids":{"openalex":"https://openalex.org/W7161686165","doi":"https://doi.org/10.48550/arxiv.2605.17008"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.17008","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17008","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.2605.17008","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091243468","display_name":"Ezequiel L\u00f3pez\u2010Rubio","orcid":"https://orcid.org/0000-0001-8231-5687"},"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/A5091243468"],"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.19499999284744263,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.19499999284744263,"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.17970000207424164,"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/T10533","display_name":"Teaching and Learning Programming","score":0.1071000024676323,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/language-primitive","display_name":"Language primitive","score":0.6373999714851379},{"id":"https://openalex.org/keywords/first-generation-programming-language","display_name":"First-generation programming language","score":0.5159000158309937},{"id":"https://openalex.org/keywords/low-level-programming-language","display_name":"Low-level programming language","score":0.5156000256538391},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.40779998898506165},{"id":"https://openalex.org/keywords/object-language","display_name":"Object language","score":0.3937999904155731},{"id":"https://openalex.org/keywords/high-level-programming-language","display_name":"High-level programming language","score":0.39239999651908875},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.38530001044273376},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.33869999647140503},{"id":"https://openalex.org/keywords/data-manipulation-language","display_name":"Data manipulation language","score":0.33239999413490295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7667999863624573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7073000073432922},{"id":"https://openalex.org/C20724563","wikidata":"https://www.wikidata.org/wiki/Q3075258","display_name":"Language primitive","level":4,"score":0.6373999714851379},{"id":"https://openalex.org/C570499","wikidata":"https://www.wikidata.org/wiki/Q1289116","display_name":"First-generation programming language","level":3,"score":0.5159000158309937},{"id":"https://openalex.org/C124577441","wikidata":"https://www.wikidata.org/wiki/Q558937","display_name":"Low-level programming language","level":5,"score":0.5156000256538391},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.40779998898506165},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.3937999904155731},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.39239999651908875},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.38530001044273376},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33899998664855957},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.33869999647140503},{"id":"https://openalex.org/C56288433","wikidata":"https://www.wikidata.org/wiki/Q58673","display_name":"Data manipulation language","level":2,"score":0.33239999413490295},{"id":"https://openalex.org/C201997060","wikidata":"https://www.wikidata.org/wiki/Q4117406","display_name":"Programming language implementation","level":5,"score":0.3255999982357025},{"id":"https://openalex.org/C2777515626","wikidata":"https://www.wikidata.org/wiki/Q496939","display_name":"Levenshtein distance","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.3138999938964844},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3093000054359436},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.29760000109672546},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.29660001397132874},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.29580000042915344},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.29330000281333923},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C169796678","wikidata":"https://www.wikidata.org/wiki/Q835124","display_name":"Very high-level programming language","level":5,"score":0.2865000069141388},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C24570573","wikidata":"https://www.wikidata.org/wiki/Q7191197","display_name":"Picture language","level":5,"score":0.265500009059906},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.2547000050544739},{"id":"https://openalex.org/C11164408","wikidata":"https://www.wikidata.org/wiki/Q18657800","display_name":"Second-generation programming language","level":4,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.17008","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17008","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.2605.17008","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17008","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/4","score":0.6188096404075623,"display_name":"Quality Education"}],"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,113,134],"introduce":[1],"IsalProgram":[2],"(Instruction":[3],"Set":[4],"and":[5,54,82,122,129,162,167],"Language":[6],"for":[7,144,164],"Programming),":[8],"a":[9,22,38,50,78,86,94,115,141],"novel":[10],"assembly-like":[11],"programming":[12],"language":[13,24,30,121,143],"with":[14,105],"three":[15,102],"distinctive":[16],"theoretical":[17],"properties:":[18],"(1)":[19],"it":[20,56],"is":[21,49,93],"regular":[23],"in":[25],"the":[26,46,120,148,158],"sense":[27],"of":[28,61,74,119,150],"formal":[29,117],"theory,":[31],"meaning":[32],"its":[33,123,127,131,151],"programs":[34],"are":[35,71,83],"accepted":[36],"by":[37,101,109],"finite":[39,43,72],"automaton;":[40],"(2)":[41],"every":[42],"string":[44],"over":[45],"instruction":[47,80],"alphabet":[48],"syntactically":[51],"valid":[52],"program;":[53],"(3)":[55],"makes":[57],"no":[58],"explicit":[59],"use":[60],"memory":[62],"addresses":[63],"or":[64,68],"variable":[65],"names,":[66],"absolute":[67],"relative.":[69],"Programs":[70],"sequences":[73],"tokens":[75],"drawn":[76],"from":[77],"fixed":[79],"set,":[81],"executed":[84],"on":[85],"virtual":[87,124],"machine":[88],"whose":[89],"sole":[90],"data":[91,103],"structure":[92],"circular":[95],"doubly":[96],"linked":[97],"list":[98],"(CDLL)":[99],"navigated":[100],"pointers,":[104],"control":[106],"flow":[107],"governed":[108],"two":[110],"code":[111],"pointers.":[112],"give":[114],"complete":[116],"definition":[118],"machine,":[125],"prove":[126],"regularity,":[128],"demonstrate":[130],"expressive":[132],"power.":[133],"further":[135],"discuss":[136],"IsalProgram's":[137],"potential":[138],"advantages":[139],"as":[140],"target":[142],"neural":[145],"program":[146,152],"synthesis,":[147],"amenability":[149],"space":[153],"to":[154],"metric-based":[155],"exploration":[156],"via":[157],"Levenshtein":[159],"edit":[160],"distance,":[161],"directions":[163],"analyzing":[165],"computability":[166],"complexity":[168],"within":[169],"this":[170],"framework.":[171]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-20T00:00:00"}