論文の概要: Challenges of Multilingual Program Specification and Analysis

• arxiv url: http://arxiv.org/abs/2407.11661v1
• Date: Tue, 16 Jul 2024 12:29:54 GMT
• ステータス: 処理完了
• システム内更新日: 2024-07-17 15:11:54.855101
• Title: Challenges of Multilingual Program Specification and Analysis
• Title（参考訳）: 多言語プログラムの仕様と分析の課題
• Authors: Carlo A. Furia, Abhishek Tiwari,
• Abstract要約: マルチ言語プログラミングで一般的に使用される特徴が,その特徴を特定・解析する能力に与える影響について論じる。 多言語プログラムのいくつかの例と、その振る舞いを公式に推論する複雑さについて述べる。 また、多言語プログラム分析における技術の現状を要約し、オープンなままの課題を含める。
• 参考スコア（独自算出の注目度）: 4.21419801774618
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Multilingual programs, whose implementations are made of different languages, are gaining traction especially in domains, such as web programming, that particularly benefit from the additional flexibility brought by using multiple languages. In this paper, we discuss the impact that the features commonly used in multilingual programming have on our capability of specifying and analyzing them. To this end, we first outline a few broad categories of multilingual programming, according to the mechanisms that are used for inter-language communication. Based on these categories, we describe several instances of multilingual programs, as well as the intricacies that formally reasoning about their behavior would entail. We also summarize the state of the art in multilingual program analysis, including the challenges that remain open. These contributions can help understand the lay of the land in multilingual program specification and analysis, and motivate further work in this area.
• Abstract（参考訳）: 異なる言語で実装されている多言語プログラムは、特にWebプログラミングのようなドメインにおいて、特に複数の言語の使用によってもたらされる柔軟性から恩恵を受けている。 本稿では,多言語プログラミングで一般的に使用される特徴が,それらの特定・解析能力に与える影響について論じる。 この目的のために我々はまず,言語間通信に使用されるメカニズムに従って,多言語プログラミングの幅広いカテゴリについて概説する。 これらのカテゴリに基づいて、多言語プログラムのいくつかの例と、それらの振る舞いを公式に推論する複雑さについて述べる。 また、オープンなままの課題を含む、多言語プログラム分析における最先端の状況を要約する。 これらの貢献は、多言語プログラムの仕様と分析における土地の在り方を理解するのに役立ち、この分野におけるさらなる研究の動機となる。

関連論文リスト

• Multilingual Topic Classification in X: Dataset and Analysis [19.725017254962918]
  X-Topicは4つの異なる言語(英語、スペイン語、日本語、ギリシャ語)のコンテンツを含む多言語データセットである。 私たちのデータセットには、ソーシャルメディアコンテンツに適した幅広いトピックが含まれています。
  論文  参考訳（メタデータ） (2024-10-04T01:37:26Z)
• A Joint Learning Model with Variational Interaction for Multilingual Program Translation [10.77747590700758]
  プログラム翻訳のための変分相互作用(VIM-PT)は、言語間の多言語プログラム翻訳のための統一モデルを共同で訓練する生成的アプローチである。 VIM-PTは、変分推論と新しい下界との相互作用情報を用いて、コードを言語共有と言語固有の特徴に分解し、条件付き生成を通じてプログラム翻訳を行う。
  論文  参考訳（メタデータ） (2024-08-25T11:33:52Z)
• Fine-Tuned Self-Supervised Speech Representations for Language Diarization in Multilingual Code-Switched Speech [4.39549503760707]
  大規模自己教師型アーキテクチャ(WavLM)から抽出した微調整音声表現を用いた連続多言語ダイアリザを開発した。 南アフリカ語5言語(isiZulu, isiXa, Seswana, Sesotho, English)からなるコード交換コーパスを実験した。
  論文  参考訳（メタデータ） (2023-12-15T09:40:41Z)
• Language Agnostic Code Embeddings [61.84835551549612]
  私たちは、さまざまなプログラミング言語にまたがるコード埋め込みの言語間機能に重点を置いています。 1つは特定の言語のニュアンスと構文に深く結びついており、もう1つは詳細を知らない。 我々は、この言語固有のコンポーネントを分離して排除すると、下流のコード検索タスクが大幅に改善されることを示した。
  論文  参考訳（メタデータ） (2023-10-25T17:34:52Z)
• Multilingual Multi-Figurative Language Detection [14.799109368073548]
  比喩的言語理解は多言語環境では 非常に過小評価されています 我々は,多言語多言語言語モデリングを導入し,文レベル図形言語検出のためのベンチマークを提供する。 テンプレートに基づく即時学習に基づく図形言語検出のためのフレームワークを開発する。
  論文  参考訳（メタデータ） (2023-05-31T18:52:41Z)
• Cross-lingual Lifelong Learning [53.06904052325966]
  本稿では,言語間連続学習(CCL)の評価パラダイムを提案する。 マルチリンガルなシーケンシャルな学習を特に難しいものにするための洞察を提供する。 この分析の意味は、異なる言語間連続学習のデシダータを測り、バランスをとる方法のレシピを含む。
  論文  参考訳（メタデータ） (2022-05-23T09:25:43Z)
• Discovering Representation Sprachbund For Multilingual Pre-Training [139.05668687865688]
  多言語事前学習モデルから言語表現を生成し、言語分析を行う。 すべての対象言語を複数のグループにクラスタリングし、表現のスプラックバンドとして各グループに名前を付ける。 言語間ベンチマークで実験を行い、強いベースラインと比較して大幅な改善が達成された。
  論文  参考訳（メタデータ） (2021-09-01T09:32:06Z)
• Bridging Linguistic Typology and Multilingual Machine Translation with Multi-View Language Representations [83.27475281544868]
  特異ベクトル標準相関解析を用いて、各情報源からどのような情報が誘導されるかを調べる。 我々の表現は類型学を組み込み、言語関係と相関関係を強化する。 次に、多言語機械翻訳のための多視点言語ベクトル空間を利用して、競合する全体的な翻訳精度を実現する。
  論文  参考訳（メタデータ） (2020-04-30T16:25:39Z)
• XTREME: A Massively Multilingual Multi-task Benchmark for Evaluating Cross-lingual Generalization [128.37244072182506]
  言語間TRansfer Evaluation of Multilinguals XTREMEは、40言語および9タスクにわたる多言語表現の言語間一般化能力を評価するためのベンチマークである。 我々は、英語でテストされたモデルは、多くのタスクにおいて人間のパフォーマンスに達するが、言語間変換されたモデルの性能にはまだ大きなギャップがあることを示した。
  論文  参考訳（メタデータ） (2020-03-24T19:09:37Z)
• Multi-SimLex: A Large-Scale Evaluation of Multilingual and Cross-Lingual Lexical Semantic Similarity [67.36239720463657]
  Multi-SimLexは、12の異なる言語のデータセットをカバーする大規模な語彙リソースと評価ベンチマークである。 各言語データセットは、意味的類似性の語彙的関係に注釈付けされ、1,888のセマンティック・アライメント・コンセプト・ペアを含む。 言語間の概念の整合性のため、66の言語間セマンティック類似性データセットを提供する。
  論文  参考訳（メタデータ） (2020-03-10T17:17:01Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。