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

この記事では、ピュアサブタイプシステムにおける型安全性と最近の進展について話してるよ。

LiquidHaskellを使って、実際のプログラミングで時間計算量を証明する方法。

名義代数がプログラミングにおける名前とバインディングの管理にどう関わってるか探ってみて。

新しいタイプシステムで、スマートコントラクトがガス問題なしでスムーズに動くようになるよ。

独立性の重要性について探って、書き換えシステムにおける効率への影響を見てみよう。

新しいプログラミング言語がMPCプロトコルのセキュリティ検証を改善する。

ドメイン理論について学ぼう、その論理学やコンピュータサイエンスでの重要性もね。

一価の基盤を使ってドメイン理論とその構造を見てみよう。

Bézier曲線を使って、グラフィックスプログラミングで円や楕円を描く方法を学ぼう。

静的解析と動的解析を組み合わせることで、ソフトウェアの信頼性が高まるよ。

C/C++コードの脆弱性評価のための機械学習モデルを比較した研究。

RustがOSのセキュリティと信頼性を向上させる役割について探る。

この記事は、言語モデルを使ってHDLコード生成を改善する方法をレビューしている。

LLASPは自然言語の説明からASPコード生成を改善するよ。

数学とプログラミングにおける型の見方を変える新しい概念。

言語モデルのコーディングタスク評価を改善する新しいアプローチ。

研究は、視覚化タスクにおける現行のベンチマークの効果を調べている。

この論文は、論理プログラミングにおける選択構造を理解するためのフレームワークを提案している。

プログラミング言語の信頼性と正確性を高めるための検証方法。

ランタイムエラーを管理するための適応システムを大規模言語モデルを使って探る。

ある研究が、教科書がPythonのプログラミングスキルレベルとどれだけ合ってるかを評価してる。

ソフトウェアコードの脆弱性検出を強化するために大規模言語モデルを使う。

Haskellを使ってリレーショナルプログラミングを学んで、データを効率的に扱う方法を学ぼう。

この論文では、大規模な言語モデルが既存のツールと比べてコードの品質をどう評価するかを調べてるよ。

新しい所有権モデルが、低レベル言語におけるメモリ管理と検証を改善する。

Leanの機能と課題を使った多項式の扱いについての考察。

再帰とランダム性を使ったプログラミング言語を考えるためのフレームワーク。

異なる言語でコードクローンを特定するためのLLMの使用に関する研究。

この研究は、プログラミング言語全体での脆弱性を見つけるためのLLMの効果を評価してるよ。

PyMarian は、Python ユーザーが手軽に高速翻訳モデルにアクセスできるようにするよ。

この記事では、LLMにおけるコードの幻覚の問題とその影響を検討する。

新しいシンボリック実行エンジンがWasmバイナリ分析を強化して、セキュリティが向上したよ。

タスク特化型アダプターを統合して自動プログラム修復の効率を高める研究。

CDDが初心者の開発者がコードの複雑さを管理するのにどう役立つかについての研究。

Kotlinの型安全性の問題とその可能な解決策を検討する。

ソフトウェアのパフォーマンス向上のために、CI/CDを通じてOpenMPテストを強化する。

新しいツールチェーンが最新のハードウェアを使ってWASMアプリケーションのメモリ安全性を向上させるよ。

マルチドメインのベンチマークは、さまざまな分野でのLLMのコード生成能力を評価するんだ。

新しい方法で複数のプログラミング言語での翻訳が改善されるよ。

この論文では、インタプリタを使って形式意味論を自動で作成する方法を紹介してるよ。