論文の概要: CPL: A Compact C-like Systems Language with Explicit Low-Level Control

• arxiv url: http://arxiv.org/abs/2609.04904v1
• Date: Fri, 04 Sep 2026 09:07:15 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-07 18:15:23.989061
• Title: CPL: A Compact C-like Systems Language with Explicit Low-Level Control
• Title（参考訳）: CPL: 明示的な低レベル制御を備えたコンパクトCライクなシステム言語
• Abstract要約: Cordell Programming Language (CPL) は、C言語のようなコンパクトなシステム言語である。 CPLはCのメモリ、レイアウト、マシンインターフェースへの直接アクセスを維持している。 本稿では,C-likeが現代的アプローチやパラダイムよりもコンパイラ実験に有用かどうかを考察する。
• 参考スコア（独自算出の注目度）: 45.88028371034407
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper presents Cordell Programming Language (CPL), a compact C-like systems language that retains C's direct access to memory, layout, and machine interfaces while experimenting with a smaller grammar and selected conveniences from newer languages. Also this paper studies whether C-like are more convenient to use for compiler experiments than modern approaches and paradigms. While the language and compiler provide primitive values, pointers, arrays, containers with methods, unions, generic functions, overloads, entry-point and section control, system calls, and inline assembly, they do not provide high-level constructs such as classes, built-in methods, a standard library, or memory protection. The article describes the language design, compiler pipeline, target backends, static-analysis architecture, and OS-facing use cases, then evaluates the prototype backend with reproducible x86_64 and i386 microbenchmarks against C compiler baselines. The obtained results suggest that the compiler can produce code comparable to that produced by production compilers such as GCC and Clang, as well as by small compilers such as TinyC and SmallerC.
• Abstract（参考訳）: 本稿ではCordell Programming Language(CPL)を提案する。C言語はC言語のメモリ、レイアウト、マシンインタフェースへの直接アクセスを維持しつつ、より小さな文法と新しい言語からの利便性を実験する。 また,C-likeが現代のアプローチやパラダイムよりもコンパイラ実験に有用かどうかを考察する。 言語とコンパイラはプリミティブな値、ポインタ、配列、コンテナにメソッド、ユニオン、ジェネリック関数、オーバーロード、エントリポイントとセクションコントロール、システムコール、インラインアセンブリを提供するが、クラス、組み込みメソッド、標準ライブラリ、メモリ保護のような高レベルな構造は提供していない。 この記事では、言語設計、コンパイラパイプライン、ターゲットバックエンド、静的分析アーキテクチャ、OS対応ユースケースを説明し、その後、再現可能なx86_64とi386マイクロベンチマークをCコンパイラのベースラインに対して評価する。 その結果、コンパイラはGCCやClangのようなプロダクションコンパイラやTinyCやSmallerCのような小さなコンパイラに匹敵するコードを生成することができることが示唆された。

関連論文リスト

• Decaf: Improving Neural Decompilation with Automatic Feedback and Search [64.02615739798277]
  高レベルな構文、識別子、カスタムデータ型は一般的に失われ、コンパイラは人間可読なコードを低レベルなマシンコードに変換する。 生成AIモデルは、ハイレベルな構文、識別子、型を再構築するのに自然なものだ。 コンパイラフィードバックは,サーチによるニューラルデコンパイラ出力のセマンティックな正当性の向上に有効である,と我々は主張する。
  論文  参考訳（メタデータ） (2026-05-12T04:21:26Z)
• RAG-Based Fuzzing of Cross-Architecture Compilers [0.8302146576157498]
  OneAPIは、開発者による最小限の努力で、クロスアーキテクチャなソフトウェア開発をサポートするオープンスタンダードである。 OneAPIはDPC++とC++コンパイラを提供しており、その正確性、信頼性、セキュリティを検証するために徹底的にテストする必要がある。 本稿では,検索拡張生成(RAG)の概念を統合した大規模言語モデル (LLM) ベースのコンパイラファジィツールを提案する。
  論文  参考訳（メタデータ） (2025-04-11T20:46:52Z)
• Developing a Modular Compiler for a Subset of a C-like Language [0.0]
  本稿では,C型言語のサブセットに対するモジュール型コンパイラの開発について紹介する。 このモジュラーアプローチにより、開発者は必要に応じてサブセットを追加または削除することで言語を変更でき、最小限のメモリ効率のコンパイラが実現される。
  論文  参考訳（メタデータ） (2025-01-08T13:42:54Z)
• ViC: Virtual Compiler Is All You Need For Assembly Code Search [9.674880905252628]
  本稿では,汎用コンパイラをエミュレートするLarge Language Model(LLM)のトレーニングについて検討する。 さらに、任意の言語のソースコードをアセンブリコードにコンパイルできる仮想コンパイラ(ViC)としてCodeLlamaを事前訓練します。 組立コード検索性能は大幅に向上し,ベースラインを26%上回った。
  論文  参考訳（メタデータ） (2024-08-10T17:23:02Z)
• SECOMP: Formally Secure Compilation of Compartmentalized C Programs [2.5553752304478574]
  C言語の未定義の動作は、しばしば破壊的なセキュリティ脆弱性を引き起こす。 本稿では,機械チェックによるC言語のコンパイラSECOMPを紹介する。 このような強い基準が主流のプログラミング言語で証明されたのは、これが初めてです。
  論文  参考訳（メタデータ） (2024-01-29T16:32:36Z)
• AdaCCD: Adaptive Semantic Contrasts Discovery Based Cross Lingual Adaptation for Code Clone Detection [69.79627042058048]
  AdaCCDは、その言語でアノテーションを使わずに、新しい言語のクローンコードを検出する新しい言語間適応手法である。 5つのプログラミング言語からなる多言語コードクローン検出ベンチマークを構築し,AdaCCDの言語間適応性を評価する。
  論文  参考訳（メタデータ） (2023-11-13T12:20:48Z)
• LILO: Learning Interpretable Libraries by Compressing and Documenting Code [71.55208585024198]
  LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。 LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。 LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
  論文  参考訳（メタデータ） (2023-10-30T17:55:02Z)
• Dcc --help: Generating Context-Aware Compiler Error Explanations with Large Language Models [53.04357141450459]
  dcc --helpはCS1とCS2のコースにデプロイされ、2565人の学生が10週間で64,000回以上このツールを使っている。 LLMが生成した説明は、コンパイル時間の90%と実行時の75%で概念的に正確であるが、コードに解決策を提供しない命令を無視することが多かった。
  論文  参考訳（メタデータ） (2023-08-23T02:36:19Z)
• HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computing [58.720142291102135]
  この研究は、HDC分類メソッドの高レベルな記述を最適化されたCコードに変換する最初のオープンソースコンパイラである、ネームコンパイラを紹介している。 nameは現代のコンパイラのように設計されており、直感的で記述的な入力言語、中間表現(IR)、再ターゲット可能なバックエンドを備えている。 これらの主張を裏付けるために,HDC文献で最もよく使われているデータセットについて,HDCCを用いて実験を行った。
  論文  参考訳（メタデータ） (2023-04-24T19:16:03Z)
• C-rusted: The Advantages of Rust, in C, without the Disadvantages [0.0]
  C-rustedは、言語、システム、およびユーザ定義リソースのオーナシップ、排他性、共有性を表現するために(部分的に)Cプログラムに注釈を付けることができる革新的な技術である。 注釈付きCプログラムは、ISO Cコードを処理することができるコンパイルツールチェーンの修正されていないバージョンで変換することができる。
  論文  参考訳（メタデータ） (2023-02-10T15:48:09Z)
• Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
  qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。 我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-08T12:49:07Z)

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

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