{"id":"https://openalex.org/W7163406418","doi":"https://doi.org/10.48550/arxiv.2606.03349","title":"AlgoTouch: An Execution-Centered Approach to Incremental Construction of Imperative Programs","display_name":"AlgoTouch: An Execution-Centered Approach to Incremental Construction of Imperative Programs","publication_year":2026,"publication_date":"2026-06-02","ids":{"openalex":"https://openalex.org/W7163406418","doi":"https://doi.org/10.48550/arxiv.2606.03349"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.03349","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.03349","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.2606.03349","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137739342","display_name":"Michel Adam","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110902","display_name":"Centre hospitalier Bretagne Atlantique","ror":"https://ror.org/01663mv64","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210110902"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Adam, Michel","raw_affiliation_strings":["UBS Vannes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UBS Vannes","institution_ids":["https://openalex.org/I4210110902"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103436774","display_name":"Patrice Frison","orcid":null},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frison, Patrice","raw_affiliation_strings":["UBS, IRISA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UBS, IRISA","institution_ids":["https://openalex.org/I2802519937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119961962","display_name":"Sabine Letellier Zarshenas","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110902","display_name":"Centre hospitalier Bretagne Atlantique","ror":"https://ror.org/01663mv64","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210110902"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Zarshenas, Sabine Letellier","raw_affiliation_strings":["UBS Vannes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UBS Vannes","institution_ids":["https://openalex.org/I4210110902"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052332184","display_name":"Moncef Daoud","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099266","display_name":"Centre Hospitalier de Bretagne Sud","ror":"https://ror.org/011jgpb07","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210099266"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Daoud, Moncef","raw_affiliation_strings":["UBS Lorient"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UBS Lorient","institution_ids":["https://openalex.org/I4210099266"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"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/T10260","display_name":"Software Engineering Research","score":0.3695000112056732,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.3695000112056732,"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/T10126","display_name":"Logic, programming, and type systems","score":0.1396999955177307,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.08820000290870667,"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/set","display_name":"Set (abstract data type)","score":0.5497000217437744},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5070000290870667},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5065000057220459},{"id":"https://openalex.org/keywords/notional-amount","display_name":"Notional amount","score":0.49050000309944153},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.48809999227523804},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.48249998688697815},{"id":"https://openalex.org/keywords/macro","display_name":"Macro","score":0.47119998931884766},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43309998512268066},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4117000102996826},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4009999930858612}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.819599986076355},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6902999877929688},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5497000217437744},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5070000290870667},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5065000057220459},{"id":"https://openalex.org/C192063788","wikidata":"https://www.wikidata.org/wiki/Q7063049","display_name":"Notional amount","level":2,"score":0.49050000309944153},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.48809999227523804},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.48249998688697815},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.47119998931884766},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4259999990463257},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4009999930858612},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.3935000002384186},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.3675000071525574},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3637000024318695},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.35420000553131104},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3499999940395355},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3447999954223633},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C206674616","wikidata":"https://www.wikidata.org/wiki/Q7038222","display_name":"Program Design Language","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C56288433","wikidata":"https://www.wikidata.org/wiki/Q58673","display_name":"Data manipulation language","level":2,"score":0.29919999837875366},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29840001463890076},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.29670000076293945},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.28999999165534973},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.2734000086784363},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.27129998803138733},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C77781355","wikidata":"https://www.wikidata.org/wiki/Q223335","display_name":"Structured programming","level":2,"score":0.2596000134944916}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.03349","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.03349","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.2606.03349","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.03349","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":[{"id":"https://metadata.un.org/sdg/4","score":0.45535048842430115,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Program":[0],"construction":[1,58,229],"in":[2,122,144,177],"imperative":[3,60,180],"languages":[4],"remains":[5],"largely":[6],"based":[7],"on":[8,18,31,93,195],"writing":[9],"textual":[10],"code":[11,214],"that":[12,81,98,147],"specifies":[13],"sequences":[14],"of":[15,29,42,59,65,118,126,199,235],"instructions":[16,30],"operating":[17],"program":[19,66,113,228],"data.":[20,67],"This":[21,49,153],"approach":[22],"requires":[23],"developers":[24],"to":[25,160],"anticipate":[26],"the":[27,40,119],"effects":[28],"evolving":[32],"data":[33,79,100],"states,":[34],"which":[35],"increases":[36],"cognitive":[37],"load":[38],"and":[39,46,84,103,112,150,157,164,174,186,206,213,230],"likelihood":[41],"errors":[43],"during":[44],"early":[45],"incremental":[47,57,151],"development.":[48],"paper":[50],"presents":[51],"AlgoTouch,":[52],"an":[53,87,94,223],"execution-based":[54],"system":[55,120,189],"for":[56,226],"programs":[61,73,159,176],"through":[62,192],"direct":[63],"manipulation":[64],"Rather":[68],"than":[69],"assembling":[70],"syntactic":[71],"structures,":[72],"are":[74,82,134,142],"constructed":[75],"by":[76],"executing":[77],"concrete":[78],"transformations":[80],"recorded":[83],"incorporated":[85],"into":[86],"internal":[88],"intermediate":[89],"representation.":[90],"AlgoTouch":[91,170],"relies":[92],"explicit":[95],"notional":[96],"machine":[97],"exposes":[99],"storage,":[101],"computation,":[102],"control":[104,127],"flow,":[105],"enabling":[106],"continuous":[107],"alignment":[108],"between":[109],"observed":[110,137],"execution":[111,130],"structure.":[114],"A":[115],"central":[116],"contribution":[117],"lies":[121],"its":[123],"deterministic":[124],"synthesis":[125],"structures":[128],"from":[129,136],"behavior.":[131],"Conditional":[132],"statements":[133],"derived":[135],"comparisons,":[138],"while":[139,166],"iterative":[140],"behaviors":[141],"encapsulated":[143],"loop":[145],"macros":[146],"support":[148],"non-linear":[149],"construction.":[152],"design":[154],"enables":[155],"partial":[156],"incomplete":[158],"be":[161],"executed,":[162],"refined,":[163],"completed":[165],"preserving":[167],"semantic":[168],"consistency.":[169],"automatically":[171],"generates":[172],"correct":[173],"readable":[175],"several":[178],"mainstream":[179],"languages,":[181],"including":[182],"Python,":[183],"C,":[184],"C++,":[185],"Java.":[187],"The":[188],"is":[190],"evaluated":[191],"engineering-level":[193],"validation":[194],"a":[196,217,232],"representative":[197],"set":[198],"algorithmic":[200],"benchmarks,":[201],"demonstrating":[202],"correctness,":[203],"expressiveness,":[204],"robustness,":[205],"language":[207],"independence.":[208],"By":[209],"integrating":[210],"execution,":[211],"construction,":[212],"generation":[215],"within":[216],"unified":[218],"architecture,":[219],"this":[220],"work":[221],"introduces":[222],"alternative":[224],"model":[225],"interactive":[227],"contributes":[231],"new":[233],"class":[234],"execution-centered":[236],"development":[237],"systems.":[238]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-04T00:00:00"}