プログラミング言語 に関する最新の記事

Rにおけるコード生成と要約のためのLLMにおけるPEFT手法を検討中。

フレームワークは、Javaアプリケーションのパフォーマンス向上のためにピープホール最適化を簡素化するよ。

新しいフレームワークがJITコンパイラのテストを簡単にして、自動テストケースを生成するよ。

JavaScriptの正規表現の信頼性と明確さを確保するための新しい方法。

依存型理論の基本と計算における重要性を探ろう。

SSRがLean 4の証明管理をどう向上させるかを学ぼう。

セミリングとグラウンディング技術を使ってDatalogの効率を上げる。

微分可能な論理は、形式的検証やトレーニング手法の向上を通じて機械学習を強化する。

AIがソフトウェア開発やコーディングのやり方にどんな影響を与えるか探ってる。

Gillian-Rustは、安全でないRustコードを効果的に検証する新しい方法を提供してるよ。

ある研究がデータ汚染がコードモデルの評価に与える影響を強調してる。

単純な言語要件を使ってコードリポジトリを生成するためのフレームワーク。

OCLルールに基づいたSQLの整合性を確認する新しい方法。

OPDLの並行プログラムに関する推論での役割を探る。

LLMがCプログラミングをもっと安全で効率的にする方法を学ぼう。

Rustにおける開発者の危険なコード使用に関する研究。

新しいフレームワークがDSLの相互運用性とHPCの効率を向上させることを目指してるよ。

セキュリティAPIを使ってAI生成コードのセキュリティ影響を調べる。

新しい方法が自動プログラム検証への信頼を高める。

プログラミング言語で効果的な計算をスムーズにする新しいアプローチ。

この論文では、SATソルビングを使った効率的なツリー差分メソッドを紹介するよ。

プログラミング言語の意味論を扱うための集合と関係を使った教え方ガイド。

WebPieについて学ぼう、依存型を使った安全なプログラミングのためのシンプルな言語だよ。

評価戦略がプログラミングの意義にどんな影響を与えるかを見てみよう。

LLMがコードを要約する方法と、そのパフォーマンスに影響を与える要因を探る。

この研究は、情報の流れを使って潜在的なコードのコンフリクトを見つけることを調べてるよ。

複雑な確率環境でプログラムの終了を確認するための新しい方法。

オブジェクト指向プログラミングでOWKを使いやすくするシステム。

AIコードパフォーマンスを最適化する新しい方法の紹介。

この研究は、コード生成モデルのプロンプトにおける品質問題を調べている。

LLMを使ってミューテーションテストの効果を高めてソフトウェアの質を向上させる。

3DGenはAIを使って、ラフなデータの説明を安全なコードに変えるんだ。

AIDはLLMと差分テストを使ってソフトウェアのバグ検出を強化してるんだ。

未定義の動作が外部関数を使ったRustライブラリにどんな影響を与えるか学ぼう。

標準ハードウェアでPythonコードを生成するためのアクセス可能なAIモデルを評価中。

この研究は、プログラミング言語の評価戦略を組み合わせた新しい型システムに焦点を当ててるんだ。

複数のレベルでソフトウェアの脆弱性を評価する新しいシステム。

プログラミングの最適化のための新しいメモリモデルの視点。

モナドとコモナドは、数学やコンピュータサイエンスの複雑さをシンプルにしてくれるんだ。

この記事では、プログラミングにおける型付き用語の管理方法について話してるよ。