論文の概要: AlgoTouch: An Execution-Centered Approach to Incremental Construction of Imperative Programs

• arxiv url: http://arxiv.org/abs/2606.03349v1
• Date: Tue, 02 Jun 2026 08:57:49 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-03 22:00:04.888276
• Title: AlgoTouch: An Execution-Centered Approach to Incremental Construction of Imperative Programs
• Title（参考訳）: AlgoTouch: 命令型プログラムのインクリメンタル構築のための実行中心のアプローチ
• Authors: Michel Adam, Patrice Frison, Sabine Letellier Zarshenas, Moncef Daoud,
• Abstract要約: AlgoTouchは命令型プログラムをインクリメンタルに構築するための実行ベースのシステムである。 データストレージ、計算、制御フローを公開する明示的な記法機械に依存している。 AlgoTouchはPython、C、C++、Javaで正しい読みやすいプログラムを自動的に生成する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Program construction in imperative languages remains largely based on writing textual code that specifies sequences of instructions operating on program data. This approach requires developers to anticipate the effects of instructions on evolving data states, which increases cognitive load and the likelihood of errors during early and incremental development. This paper presents AlgoTouch, an execution-based system for incremental construction of imperative programs through direct manipulation of program data. Rather than assembling syntactic structures, programs are constructed by executing concrete data transformations that are recorded and incorporated into an internal intermediate representation. AlgoTouch relies on an explicit notional machine that exposes data storage, computation, and control flow, enabling continuous alignment between observed execution and program structure. A central contribution of the system lies in its deterministic synthesis of control structures from execution behavior. Conditional statements are derived from observed comparisons, while iterative behaviors are encapsulated in loop macros that support non-linear and incremental construction. This design enables partial and incomplete programs to be executed, refined, and completed while preserving semantic consistency. AlgoTouch automatically generates correct and readable programs in several mainstream imperative languages, including Python, C, C++, and Java. The system is evaluated through engineering-level validation on a representative set of algorithmic benchmarks, demonstrating correctness, expressiveness, robustness, and language independence. By integrating execution, construction, and code generation within a unified architecture, this work introduces an alternative model for interactive program construction and contributes a new class of execution-centered development systems.
• Abstract（参考訳）: 命令型言語におけるプログラム構築は、プログラムデータで動作する命令のシーケンスを指定するテキストコードの記述に大きく依存している。 このアプローチでは、開発者がデータ状態の進化に対する命令の影響を予測し、初期および段階的な開発における認知負荷とエラーの可能性を高める必要がある。 本稿では,プログラムデータを直接操作することで命令型プログラムをインクリメンタルに構築するAlgoTouchを提案する。 構文構造を組み立てるのではなく、内部中間表現に記録され、組み込まれている具体的なデータ変換を実行することでプログラムを構築する。 AlgoTouchは、データストレージ、計算、制御フローを公開する明示的な記法機械に依存しており、観測された実行とプログラム構造間の連続的なアライメントを可能にする。 システムの中心的な貢献は、実行行動から制御構造を決定論的に合成することにある。 条件文は観察された比較から導かれるが、反復的な振る舞いは非線形および漸進的な構成をサポートするループマクロにカプセル化される。 この設計により、部分的および不完全なプログラムはセマンティック一貫性を維持しながら実行、洗練、完了することができる。 AlgoTouchは、Python、C、C++、Javaなど、いくつかの主流命令型言語で、正確で読みやすいプログラムを自動的に生成する。 このシステムは、アルゴリズムベンチマークの代表的なセットに対する工学レベルの検証を通じて評価され、正確性、表現性、堅牢性、言語独立性を実証する。 統合アーキテクチャに実行、構築、コード生成を統合することで、インタラクティブなプログラム構築のための代替モデルを導入し、新しいタイプの実行中心の開発システムに貢献する。

関連論文リスト

• SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations [0.8557392136621891]
  SEMBridgeは、同じ実行可能なオブジェクトプログラムから最も弱い条件と境界チェックの解釈を生成する。 Pythonプロトタイプは、割り当て、条件、仮定、アサーションを備えたループフリーな命令コアを実装している。
  論文  参考訳（メタデータ） (2026-05-29T18:00:06Z)
• Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect [0.0]
  プログラム表現が第一級値となる言語設計であるメタプログラミングについて述べる。 形式操作の純粋性、非バイパス定理、境界保存の3つの性質を証明している。 中心的な貢献は、evalを言語プリミティブから支配的なエフェクトに再分類することである。
  論文  参考訳（メタデータ） (2026-05-05T02:56:43Z)
• Correctness-Guaranteed Code Generation via Constrained Decoding [11.531496728670746]
  本稿では,意味論的に正しいプログラムを生成するための制約付き実行時復号アルゴリズムを提案する。 提案手法は,任意の所定のスクリプティングAPIに従って,意味的に正しいプログラムを生成することができることを示す。 さらに、慎重に設計することで、我々のセマンティック保証が正当性にまで拡張され、ローグライクなビデオゲームにゲームメカニクスを発生させることで検証されることを示す。
  論文  参考訳（メタデータ） (2025-08-20T20:48:18Z)
• Inferring Attributed Grammars from Parser Implementations [1.0217990949413291]
  本稿では,入力文法の実装から属性文法を推定する新しい手法を提案する。 実行時の実行を観察し,プログラムの振る舞いを文法にマッピングすることにより,文法規則に意味的アクションを体系的に抽出し,組み込む。 プログラムの初期セットを用いて,提案手法の有効性を実証し,生成した属性文法を用いてプログラムの動作を正確に再現可能であることを示す。
  論文  参考訳（メタデータ） (2025-07-17T13:32:59Z)
• NoviCode: Generating Programs from Natural Language Utterances by Novices [59.71218039095155]
  初心者非プログラマによるAPIと自然言語記述を入力とする新しいNLプログラミングタスクであるNoviCodeを提示する。 我々は、NoviCodeがコード合成領域における挑戦的なタスクであることを示し、非技術的命令から複雑なコードを生成することは、現在のText-to-Codeパラダイムを超えている。
  論文  参考訳（メタデータ） (2024-07-15T11:26:03Z)
• CRIL: A Concurrent Reversible Intermediate Language [0.0]
  本稿では,高レベル並列言語を他の低レベル並列言語に翻訳するための構成の可逆中間言語を提案し,可逆性を維持する。 機能的可逆言語としてMogensen が用いた RIL の拡張として CRIL を提案し,P-V 演算に基づくマルチスレッドプロセス呼び出しと同期プリミティブを組み込んだ。
  論文  参考訳（メタデータ） (2023-09-13T20:52:54Z)
• Benchmarking Language Models for Code Syntax Understanding [79.11525961219591]
  事前学習された言語モデルは、自然言語処理とプログラム理解の両方において素晴らしい性能を示している。 本研究では,プログラムの構文構造を特定するための,最先端の事前訓練モデルの最初の徹底的なベンチマークを行う。 この結果から,既存のプログラミング言語の事前学習手法の限界が指摘され,構文構造をモデル化することの重要性が示唆された。
  論文  参考訳（メタデータ） (2022-10-26T04:47:18Z)
• Procedures as Programs: Hierarchical Control of Situated Agents through Natural Language [81.73820295186727]
  エージェント命令と制御のための階層的な手続き的知識を表現する強力な手法である,プログラムとしての手続きの形式化を提案する。 NL命令に対するIQAおよびALFREDデータセット上で、このフレームワークをインスタンス化する。
  論文  参考訳（メタデータ） (2021-09-16T20:36:21Z)
• Representing Partial Programs with Blended Abstract Semantics [62.20775388513027]
  プログラム合成エンジンにおける部分的なプログラム表現手法について紹介する。 モジュラーニューラルネットワークとして実装された近似実行モデルを学ぶ。 これらのハイブリッドニューロシンボリック表現は、実行誘導型シンセサイザーがより強力な言語構成を使うことができることを示す。
  論文  参考訳（メタデータ） (2020-12-23T20:40:18Z)
• LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network [111.24773949467567]
  ファクトチェックに論理演算を活用するニューラルネットワークアプローチであるLogicalFactCheckerを提案する。 大規模なベンチマークデータセットであるTABFACT上での最先端のパフォーマンスを実現している。
  論文  参考訳（メタデータ） (2020-04-28T17:04:19Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。