{"id":"https://openalex.org/W7170034949","doi":"https://doi.org/10.48550/arxiv.2607.18742","title":"Beyond Text Editing: Algebraic Manipulation of Source Code","display_name":"Beyond Text Editing: Algebraic Manipulation of Source Code","publication_year":2026,"publication_date":"2026-07-21","ids":{"openalex":"https://openalex.org/W7170034949","doi":"https://doi.org/10.48550/arxiv.2607.18742"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.18742","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.18742","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2607.18742","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091894463","display_name":"Kevin Pulo","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Pulo, Kevin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5091894463"],"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/T10126","display_name":"Logic, programming, and type systems","score":0.2924000024795532,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.2924000024795532,"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/T10260","display_name":"Software Engineering Research","score":0.18129999935626984,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12377","display_name":"Digital Humanities and Scholarship","score":0.1453000009059906,"subfield":{"id":"https://openalex.org/subfields/1208","display_name":"Literature and Literary Theory"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.6984000205993652},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6456999778747559},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5454999804496765},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.5246999859809875},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.4771000146865845},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46639999747276306},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.46369999647140503},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4309999942779541},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.4187000095844269}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7321000099182129},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.6984000205993652},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6473000049591064},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6456999778747559},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5454999804496765},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.5246999859809875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4871000051498413},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.4771000146865845},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46639999747276306},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.46369999647140503},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4309999942779541},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.4187000095844269},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3716999888420105},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.3447999954223633},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3109999895095825},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2971000075340271},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.296099990606308},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.2700999975204468},{"id":"https://openalex.org/C120012220","wikidata":"https://www.wikidata.org/wiki/Q1754533","display_name":"Source text","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C33857546","wikidata":"https://www.wikidata.org/wiki/Q80006","display_name":"Computer programming","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.18742","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.18742","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2607.18742","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.18742","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Source":[0],"code":[1,86,152,169,176,219,229],"is":[2,41,91,199,214],"almost":[3],"universally":[4],"edited":[5],"as":[6,61,147,232],"plain":[7],"text.":[8],"However,":[9],"the":[10,13,24,37,46,67,80,89,106,202],"mismatch":[11],"between":[12],"syntactic":[14],"and":[15,20,23,133,143,183,222,238],"semantic":[16,115],"requirements":[17],"of":[18,48,58,76,84,99,109,126,188],"valid":[19],"correct":[21],"code,":[22,213],"unconstrained":[25],"text":[26,63,141],"editing":[27,220],"process":[28],"trying":[29],"to":[30,72,95,118,171,185,193],"produce":[31],"it,":[32],"introduces":[33],"friction":[34],"that":[35,136,163,204],"degrades":[36],"programming":[38],"task.":[39],"It":[40],"also":[42],"increasingly":[43],"costly":[44],"in":[45],"era":[47],"LLM-based":[49],"coding":[50],"agents,":[51],"which":[52],"must":[53],"materialize":[54],"their":[55],"high-level":[56],"plan":[57],"intended":[59],"changes":[60,110],"low-level":[62],"edits":[64],"dispersed":[65],"throughout":[66],"codebase,":[68],"often":[69],"requiring":[70],"them":[71],"re-read":[73],"large":[74],"portions":[75],"code.":[77],"We":[78,122],"propose":[79],"novel":[81],"alternative":[82],"approach":[83,139],"source":[85,168,228],"algebra,":[87,230],"where":[88],"codebase":[90],"modified":[92],"by":[93],"applying":[94],"it":[96,145],"a":[97,113,148,173,215],"sequence":[98],"logical":[100],"algebraic":[101,208],"operations.":[102],"Each":[103],"operation":[104],"makes":[105],"full":[107],"set":[108],"necessary":[111],"for":[112,150,218],"single":[114],"change,":[116],"analogous":[117],"mathematical":[119],"equation":[120],"rewriting.":[121],"sketch":[123],"initial":[124],"properties":[125],"such":[127,231],"operations":[128],"-":[129,135,221],"including":[130],"composition,":[131],"nullipotency,":[132],"commutativity":[134],"distinguish":[137],"this":[138,198],"from":[140],"editing,":[142],"make":[144],"well-suited":[146],"substrate":[149],"agentic":[151],"editing.":[153],"A":[154],"feasibility":[155],"probe":[156],"with":[157,178,201],"our":[158],"proof-of-concept":[159],"implementation":[160],"(SCAS)":[161],"suggests":[162],"LLM":[164],"agents":[165],"can":[166],"use":[167],"algebra":[170],"complete":[172],"non-local,":[174],"cross-file":[175],"change":[177],"both":[179],"higher":[180],"success":[181],"rates":[182],"one":[184],"two":[186],"orders":[187],"magnitude":[189],"fewer":[190],"tokens,":[191],"relative":[192],"text-based":[194],"baselines.":[195],"While":[196],"preliminary,":[197],"consistent":[200],"hypothesis":[203],"having":[205],"LLMs":[206],"emit":[207],"operations,":[209],"rather":[210],"than":[211],"rewritten":[212],"promising":[216],"direction":[217],"motivates":[223],"broader":[224],"future":[225],"research":[226],"into":[227],"comprehensive":[233],"operator":[234],"libraries,":[235],"formal":[236],"properties,":[237],"human-facing":[239],"tooling.":[240]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-23T00:00:00"}