Fugu-MT 論文翻訳(概要): C-rusted: The Advantages of Rust, in C, without the Disadvantages

論文の概要: C-rusted: The Advantages of Rust, in C, without the Disadvantages

arxiv url: http://arxiv.org/abs/2302.05331v3
Date: Sat, 26 Aug 2023 14:41:10 GMT
ステータス: 処理完了
システム内更新日: 2023-10-24 13:13:46.966659
Title: C-rusted: The Advantages of Rust, in C, without the Disadvantages
Title（参考訳）: c-rusted: 欠点のないcにおけるrustのメリット
Authors: Roberto Bagnara, Abramo Bagnara, Federico Serafini
Abstract要約: C-rustedは、言語、システム、およびユーザ定義リソースのオーナシップ、排他性、共有性を表現するために(部分的に)Cプログラムに注釈を付けることができる革新的な技術である。注釈付きCプログラムは、ISO Cコードを処理することができるコンパイルツールチェーンの修正されていないバージョンで変換することができる。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during program execution; nominal typing and subtyping. The (partially) annotated C programs can be translated with unmodified versions of any compilation toolchain capable of processing ISO C code. The annotated C program parts can be validated by static analysis: if the static analyzer flags no error, then the annotations are provably coherent among themselves and with respect to annotated C code, in which case said annotated parts are provably exempt from a large class of logic, security, and run-time errors.
Abstract（参考訳）: c-rustedは、言語、システム、ユーザ定義リソースの所有権、排他性と共有性、オブジェクトの動的特性とプログラム実行中の進化方法、名目的型付けとサブタイプなどを表現するためにcプログラムを(部分的に)アノテートできる革新的な技術である。注釈付きCプログラムは、ISO Cコードを処理することができるコンパイルツールチェーンの修正されていないバージョンで変換することができる。静的アナライザがエラーを警告しない場合、アノテーションはそれ自身と注釈付きCコードの間で確実に一貫性があり、この場合、アノテーション付き部分は大規模な論理クラス、セキュリティ、実行時のエラーから確実に除外される。

関連論文リスト

Context-aware Code Segmentation for C-to-Rust Translation using Large Language Models [1.8416014644193066]
大きな言語モデル(LLM)は、ルールベースのメソッドよりも自然で安全なコードを生成することで、この翻訳を自動化することを約束している。大規模Cコードをコンパイル可能なRustコードに変換する際の成功率を改善するLLMベースの翻訳方式を提案する。 4キロのコードを含む20のベンチマークCプログラムの実験では、すべてのプログラムをコンパイル可能なRustコードに変換することに成功した。
論文参考訳（メタデータ） (2024-09-16T17:52:36Z)
C-LLM: Learn to Check Chinese Spelling Errors Character by Character [61.53865964535705]
本稿では,C-LLMを提案する。C-LLMは,文字による誤り文字のチェックを学習する中国語のスペルチェック手法である。 C-LLMは既存の方法よりも平均10%改善する。
論文参考訳（メタデータ） (2024-06-24T11:16:31Z)
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods [1.2152813244704233]
我々は,Cプログラムの仕様を合成するために,大規模言語モデルと記号解析の組み合わせをどのように利用できるかを検討する。この方法は、バグギープログラムの仕様を生成し、バグに対する結果の堅牢性を観察することで、プログラムの振る舞いよりもむしろプログラムの意図を推測する。
論文参考訳（メタデータ） (2024-06-21T17:39:57Z)
SECOMP: Formally Secure Compilation of Compartmentalized C Programs [2.5553752304478574]
C言語の未定義の動作は、しばしば破壊的なセキュリティ脆弱性を引き起こす。本稿では,機械チェックによるC言語のコンパイラSECOMPを紹介する。このような強い基準が主流のプログラミング言語で証明されたのは、これが初めてです。
論文参考訳（メタデータ） (2024-01-29T16:32:36Z)
C Analyzer : A Static Program Analysis Tool for C Programs [0.0]
C Analyzerは、Cプログラムの静的解析のために開発されたツールである。本研究は,Cプログラムの静的解析に抽象解釈技術を活用することを目的とする。
論文参考訳（メタデータ） (2024-01-28T11:43:16Z)
LILO: Learning Interpretable Libraries by Compressing and Documenting Code [71.55208585024198]
LILOは、反復的に合成、圧縮、文書化を行う、ニューロシンボリックなフレームワークである。 LILOは、LLM誘導プログラム合成と、Stitchから自動化された最近のアルゴリズムの進歩を組み合わせたものである。 LILOのシンセサイザーが学習した抽象化を解釈し、デプロイするのを手助けすることで、AutoDocがパフォーマンスを向上させることが分かりました。
論文参考訳（メタデータ） (2023-10-30T17:55:02Z)
Guess & Sketch: Language Model Guided Transpilation [59.02147255276078]
学習されたトランスパイレーションは、手作業による書き直しやエンジニアリングの取り組みに代わるものだ。確率的ニューラルネットワークモデル(LM)は、入力毎に可塑性出力を生成するが、正確性を保証するコストがかかる。 Guess & Sketch は LM の特徴からアライメントと信頼性情報を抽出し、意味的等価性を解決するためにシンボリック・ソルバに渡す。
論文参考訳（メタデータ） (2023-09-25T15:42:18Z)
CRIL: A Concurrent Reversible Intermediate Language [0.0]
本稿では,高レベル並列言語を他の低レベル並列言語に翻訳するための構成の可逆中間言語を提案し,可逆性を維持する。機能的可逆言語としてMogensen が用いた RIL の拡張として CRIL を提案し,P-V 演算に基づくマルチスレッドプロセス呼び出しと同期プリミティブを組み込んだ。
論文参考訳（メタデータ） (2023-09-13T20:52:54Z)
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)
A Static Evaluation of Code Completion by Large Language Models [65.18008807383816]
単純なプログラミング問題に対するモデル生成コードの機能的正当性を評価するために,実行ベースベンチマークが提案されている。プログラムを実行せずにエラーを検出するlinterのような静的解析ツールは、コード生成モデルを評価するために十分に研究されていない。抽象構文木を利用して,Pythonのコード補完における静的エラーを定量化する静的評価フレームワークを提案する。
論文参考訳（メタデータ） (2023-06-05T19:23:34Z)
Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文参考訳（メタデータ） (2020-10-08T12:49:07Z)

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