論文の概要: CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
- arxiv url: http://arxiv.org/abs/2301.02410v2
- Date: Thu, 31 Jul 2025 02:51:07 GMT
- ステータス: 情報取得中
- システム内更新日: 2025-08-01 14:05:11.451663
- Title: CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
- Title(参考訳): CodePod:対話型開発のための言語に依存しない階層型スコーピングシステム
- Authors: Hebi Li, Forrest Sheng Bao, Qi Xiao, Jin Tian,
- Abstract要約: We present CodePod, ahierarchical extension of Jupyter that introduce a novel scoped execution model with formal semantics。
私たちの重要な貢献は、階層的なスコープルールを実装するためにソースレベルの変換を実行する言語に依存しないランタイムシステムです。
- 参考スコア(独自算出の注目度): 9.607679924449748
- License:
- Abstract: Interactive development environments like Jupyter Notebooks enable incremental coding through cells with immediate feedback, but their linear structure and global namespace limit scalability for large software projects. We present CodePod, a hierarchical extension of Jupyter that introduces a novel scoped execution model with formal semantics. Our key contribution is a language-agnostic runtime system that performs source-level transformations to implement hierarchical scoping rules, enabling true incremental evaluation across nested modules without requiring language-specific kernel modifications. We formalize the scoping semantics as a mathematical framework with precise visibility relations and prove key properties including uniqueness of symbol resolution and correctness of the resolution algorithm. A qualitative user study with seven senior developers demonstrates that CodePod enables significant improvements in project scalability compared to Jupyter, with notable reductions in navigation effort. We validate the system's effectiveness on large-scale projects with thousands of lines of code, demonstrating its applicability beyond traditional notebook boundaries. Our tool is open-source and available at https://codepod.io
- Abstract(参考訳): Jupyter Notebooksのようなインタラクティブな開発環境は、即時フィードバックで、セルを通じてインクリメンタルなコーディングを可能にするが、その線形構造とグローバルな名前空間は、大規模ソフトウェアプロジェクトのスケーラビリティを制限している。
We present CodePod, ahierarchical extension of Jupyter that introduce a novel scoped execution model with formal semantics。
我々の重要な貢献は、階層的なスコーピングルールを実装するためにソースレベルの変換を実行する言語に依存しないランタイムシステムであり、言語固有のカーネル修正を必要とせずに、ネストされたモジュール間で真のインクリメンタルな評価を可能にする。
我々は,スコーピングのセマンティクスを,正確な可視性を持つ数学的枠組みとして定式化し,シンボル解像度の特異性や解法アルゴリズムの正当性などの重要な性質を証明した。
7人のシニア開発者による質的なユーザスタディでは、CodePodがJupyterと比較してプロジェクトのスケーラビリティを大幅に改善し、ナビゲーションの労力が大幅に削減されていることが示されている。
数千行のコードを持つ大規模プロジェクトでのシステムの有効性を検証し、従来のノートブック境界を越えて適用可能であることを示す。
私たちのツールはオープンソースで、https://codepod.ioで公開しています。
関連論文リスト
- Is Compression Really Linear with Code Intelligence? [60.123628177110206]
textitFormat Annealingは、事前訓練されたモデルの本質的な能力を同等に評価するために設計された、軽量で透明なトレーニング手法である。
我々の経験的結果は、測定されたコードインテリジェンスとビット・パー・キャラクタ(BPC)の基本的な対数関係を明らかにする。
私たちの研究は、コードインテリジェンスの開発における圧縮の役割をより微妙に理解し、コードドメインにおける堅牢な評価フレームワークに貢献します。
論文 参考訳(メタデータ) (2025-05-16T16:59:14Z) - MoSE: Hierarchical Self-Distillation Enhances Early Layer Embeddings [2.1262605464247812]
自己蒸留(Self-Distillation)は、様々なコード理解タスクにおける正確性のための推論コストの取引方法である。
我々のアーキテクチャは、特定のエンコーダ層を出口ヘッドとしてターゲットとして、テキスト・ツー・コード検索とコード・ツー・コード検索を改善している。
我々は、テキストからコードへのベンチマークを言語間のコード-コードペアで拡張するコード翻訳によって作成された新しいデータセットをリリースする。
論文 参考訳(メタデータ) (2025-03-04T21:08:17Z) - Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code [20.60634057560564]
我々は,lOng-range符号に対する事前学習言語モデルの拡張フレームワークを提案する。
EXPOには、Bridge MemoryとHint Memoryという2つの革新的なメモリメカニズムが組み込まれている。
我々は、UniXcoderのような5つの人気のある事前学習言語モデルにおけるEXPOの有効性を検証する。
論文 参考訳(メタデータ) (2024-05-18T09:06:41Z) - CodeGRAG: Bridging the Gap between Natural Language and Programming Language via Graphical Retrieval Augmented Generation [58.84212778960507]
CodeGRAGは、制御フローとそれらのデータフローに基づいて、コードブロックのグラフィカルなビューを構築し、プログラミングドメインの知識をよりよく解釈する。
CodeGRAGはLLMのコード生成能力を大幅に改善し、言語間コード生成のパフォーマンス向上も実現している。
論文 参考訳(メタデータ) (2024-05-03T02:48:55Z) - InterCode: Standardizing and Benchmarking Interactive Coding with
Execution Feedback [50.725076393314964]
標準的な強化学習環境として,インタラクティブコーディングの軽量でフレキシブルで使いやすいフレームワークであるInterCodeを紹介した。
私たちのフレームワークは、言語とプラットフォームに依存しない、自己完結型のDocker環境を使用して、安全で再現可能な実行を提供します。
我々は、異なるプロンプト戦略で構成された複数の最先端LLMを評価することにより、InterCodeの生存性をテストベッドとして示す。
論文 参考訳(メタデータ) (2023-06-26T17:59:50Z) - ReACC: A Retrieval-Augmented Code Completion Framework [53.49707123661763]
本稿では,語彙のコピーと類似したセマンティクスを持つコード参照の両方を検索により活用する検索拡張コード補完フレームワークを提案する。
我々は,Python および Java プログラミング言語のコード補完タスクにおけるアプローチを評価し,CodeXGLUE ベンチマークで最先端のパフォーマンスを実現する。
論文 参考訳(メタデータ) (2022-03-15T08:25:08Z) - Long-Range Modeling of Source Code Files with eWASH: Extended Window
Access by Syntax Hierarchy [30.368963500809365]
ファイルレベルのコンテキスト全体を固定長ウィンドウに活用するためのアーキテクチャに依存しないアプローチを導入する。
本稿は,Python言語における自然言語とソースコードのコード生成タスクと共同翻訳について評価する。
論文 参考訳(メタデータ) (2021-09-17T23:11:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。