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

新しいアプローチで大規模言語モデルが生成するコードの性能が向上するんだ。

一般的なデータベースアクセスのバグに関する研究と開発者への推奨。

研究によると、GPUでの大きな整数演算には高水準言語の効果的な活用があるみたい。

このフレームワークは、ソフトウェアの例外処理を改善するためのテスト生成を自動化するよ。

Qwertyは、量子プログラミングを開発者にとってもっとアクセスしやすく、効率的にしてくれる。

ソフトウェアの脆弱性を修正するAIの役割を探る。

イノポリス大学はプログラミング言語の識別子の扱いに関する研究をリードしてるよ。

AIを活用してDafnyコードの検証用の補助アサーションを生成するツール。

帰納的定義と共帰納的定義、そしてその重要性についての明確なガイド。

プログラミングで配列のパフォーマンスを向上させる新しいアプローチ。

Rustを使って航空宇宙ソフトウェアの安全性を向上させる方法を見てみよう。

反射グラフとそれらのレンズを通じた応用を見てみよう。

新しいアシスタントがAIを使ってデジタルハードウェア設計とRTLコード作成を効率化してるよ。

この研究は、英語と中国語のコーディングタスクにおけるLCGMsのパフォーマンスを評価している。

Juliaが大規模データセットのためにStataの統計機能をどうやって向上させるかを学ぼう。

Rustがどのように分散共有メモリ管理をサポートしているかを見てみよう。

新しい方法が特化型プログラミング言語のコード生成を強化する。

AIがプログラミング言語間のコード変換をどう助けるかを探る。

プログラミング言語のコンパイルの難易度を測る新しい指標。

Javaプログラミングタスク用のLLMを評価するための新しいベンチマーク。

MARVeLusは、サイバー物理システムの安全性を高めるために、検証と実装をつなげるよ。

属性付き木変換器における定期的な見回りの利点を探る。

新しい方法がLLMを強化して、高品質なUIコードを生成するんだ。

多項構造の概要と、それが論理や計算における重要性。

ファジングと言語モデルを組み合わせてソフトウェアテストの効率を上げる。

DafnyBenchはソフトウェア検証ツールのベンチマークを行って、信頼できるプログラミングへの道を開いてるよ。

非推奨APIがLLMのコード提案に与える影響を調べる。

新しいアプローチは、知識と技術を組み合わせてソフトウェアの脆弱性検出を改善する。

XPathを使った効率的なデータ管理のためのクエリ技術を探求する。

フレームワークは、ドキュメントを使って特化した言語のコード生成を改善する。

新しいツールが機械学習を使って、パフォーマンスバグを効果的に検出するよ。

モデルの順序が図のレイアウトをどう向上させて、ユーザーの意図をどう捉えるか探ってみて。

様々なプログラミング言語でコードを生成するCopilotの能力に関する研究。

新しいデータセットが、自然言語クエリを使う開発者のコード検索効率を改善するよ。

APPLは直感的でPythonみたいな文法を使って、大規模言語モデルを使った開発を簡素化するよ。

マルチモード型理論における置換アルゴリズムの概要。

新しい手法が複雑な量子プログラムにおける非計算効率を向上させる。

この研究は、プログラミング言語の型推論を改善するために機械学習を使うことについて話してるよ。

新しい方法があまり使われていないプログラミング言語のコード修復を改善する。

PEGについて、その歴史、構造、プログラミングやパースにおける応用を学ぼう。