トレースロジックが再帰プログラムの検証をどう助けるかを見てみよう。
Dilian Gurov, Reiner Hähnle
― 1 分で読む
プログラミング言語 に関する最新の記事
CodeSAMは、さまざまな視点からコードの理解と分析を改善するのに役立つよ。
Alex Mathai, Kranthi Sedamaki, Debeshee Das
― 1 分で読む
データ処理を良くするための強化されたDatalogを見てみよう。
Thomas Gilray, Arash Sahebolamri, Yihao Sun
― 1 分で読む
テスト付きクレーネ代数と決定論的タスクにおけるその課題についての考察。
Balder ten Cate, Tobias Kappé
― 1 分で読む
量子プログラミングの基本とそのユニークなコンセプトを学ぼう。
Claudia Faggian, Gaetan Lopez, Benoît Valiron
― 1 分で読む
この記事では、AIがコーディングにおけるアサーション作成をどう効率化できるかを探るよ。
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra
― 1 分で読む
ソフトウェアエンジニアリングタスクにおけるLLMのパフォーマンスに関する研究。
Conor O'Brien, Daniel Rodriguez-Cardenas, Alejandro Velasco
― 1 分で読む
可換条件を持つクレーネ代数の複雑さを探る。
Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
― 1 分で読む
JavaScriptのセキュリティのコードスメルを見つけて修正する方法を学ぼう。
Vikas Kambhampati, Nehaz Hussain Mohammed, Amin Milani Fard
― 1 分で読む
Scheme言語を使ってプログラミングのコンセプトを簡単に学べるツール。
Kyriel Abad, Martin Henz
― 1 分で読む
Massimultを見つけて、もっと速くて効率的なコンピューティングのための新しいアーキテクチャだよ。
Jurgen Nicklisch-Franken, Ruslan Feizerakhmanov
― 1 分で読む
C++コードのユニットテストを生成するための言語モデルを強化するデータセット。
Vaishnavi Bhargava, Rajat Ghosh, Debojyoti Dutta
― 1 分で読む
現代の言語におけるオブジェクト指向と関数型プログラミングの融合を探る。
Martin Pluemicke
― 1 分で読む
コード翻訳の進化する世界と、それがプログラミングでどれだけ大事かを発見しよう。
Soumit Kanti Saha, Fazle Rabbi, Song Wang
― 1 分で読む
高次同型証明を探って、そのプログラミングや数学への影響を考えてみて。
Thibaut Benjamin
― 0 分で読む
トランスフォーマーがコードを書く方法をどう変えてるか発見しよう。
Namrata Das, Rakshya Panta, Neelam Karki
― 1 分で読む
Unsafe Rustを安全に、効果的に扱う方法を学ぼう。
Mohan Cui, Penglei Mao, Shuran Sun
― 1 分で読む
このステップバイステップの方法で、GoプロジェクトをRustにうまく翻訳する方法を学ぼう。
Hanliang Zhang, Cristina David, Meng Wang
― 1 分で読む
新しいツールが開発者のためにDSL文法の理解を簡単にしてくれるよ。
Mohammad Jalili Torkamani
― 1 分で読む
複数のプロジェクトで開発者のためのソフトウェアテストを簡単にするツールを見つけてみて。
Islem Bouzenia, Michael Pradel
― 1 分で読む
LLMがソフトウェア開発で不安定なテストを特定して管理するのにどう役立つかを学ぼう。
Xin Sun, Daniel Ståhl, Kristian Sandahl
― 1 分で読む
大規模言語モデルを使ってソフトウェアの弱点を検出する。
Ira Ceka, Feitong Qiao, Anik Dey
― 1 分で読む
PythonとC/C++のディープラーニングコードでデザインの臭いを見つけるツール。
Zengyang Li, Xiaoyong Zhang, Wenshuo Wang
― 1 分で読む
選択的ショットラーニングが開発者のコード説明をどう改善するかを発見しよう。
Paheli Bhattacharya, Rishabh Gupta
― 1 分で読む
新しいアプローチは、ソフトウェア開発をより良くするために言語モデルを使って静的解析を強化するんだ。
Chengpeng Wang, Yifei Gao, Wuqi Zhang
― 1 分で読む
Cコードを安全なRustに自動翻訳する方法を学ぼう。
Aymeric Fromherz, Jonathan Protzenko
― 1 分で読む
AuDaLaを発見しよう！データ処理と並列タスクを簡単にするプログラミング言語だよ。
Tom T. P. Franken, Thomas Neele
― 1 分で読む
研究は、さまざまなプログラミング言語でソフトウェアの脆弱性を検出するための言語モデルを評価している。
Syafiq Al Atiiq, Christian Gehrmann, Kevin Dahlén
― 1 分で読む
大規模言語モデルがコードの理解とドキュメント作成をどう簡単にしてくれるかを発見しよう。
Md. Ahnaf Akib, Md. Muktadir Mazumder, Salman Ahsan
― 1 分で読む
量子プログラミングの基本と応用を簡単に探ってみよう。
Mingsheng Ying, Li Zhou, Gilles Barthe
― 1 分で読む
このレポートでは、補助キュービットを使って量子プログラミングの効率を向上させる方法について話してるよ。
Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni
― 1 分で読む