論文の概要: Package Managers à la Carte: A Formal Model of Dependency Resolution
- arxiv url: http://arxiv.org/abs/2602.18602v1
- Date: Fri, 20 Feb 2026 20:32:04 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-24 17:42:02.18611
- Title: Package Managers à la Carte: A Formal Model of Dependency Resolution
- Title（参考訳）: Package Managers à la Carte: 依存性解決の形式モデル
- Authors: Ryan Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy,
- Abstract要約: 多様なパッケージマネージャのコアセマンティクスを統一する依存性解決の形式であるtextitPackage Calculus を提示する。
実世界のパッケージマネージャが依存性表現言語で採用している多様性をモデル化するのに、このコアがいかに表現力があるかを示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentation prevents multilingual projects from expressing precise dependencies across language ecosystems; it leaves external system and hardware dependencies implicit and unversioned; it obscures security vulnerabilities that lie in the full dependency graph. We present the \textit{Package Calculus}, a formalism for dependency resolution that unifies the core semantics of diverse package managers. Through a series of formal reductions, we show how this core is expressive enough to model the diversity that real-world package managers employ in their dependency expression languages. By using the Package Calculus as the intermediate representation of dependencies, we enable translation between distinct package managers and resolution across ecosystems.
- Abstract（参考訳）: パッケージマネージャはレジオンです。
すべてのプログラミング言語とオペレーティングシステムは独自のソリューションを持ち、それぞれが依存関係の解決のために微妙に異なるセマンティクスを持っている。
この断片化により、多言語プロジェクトは言語エコシステム全体にわたる正確な依存関係を表現できなくなり、外部システムとハードウェアの依存関係は暗黙的に非バージョン化され、完全な依存グラフにあるセキュリティ脆弱性は隠蔽される。
本稿では,多種多様なパッケージマネージャのコアセマンティクスを統一する依存性解決の形式化である‘textit{Package Calculus} を提案する。
一連の形式的な削減を通じて、このコアが、実際のパッケージマネージャが依存性表現言語で採用する多様性をモデル化するのに十分な表現力を持っていることを示す。
依存関係の中間表現としてPackage Calculusを使用することで、異なるパッケージマネージャ間の変換とエコシステム間の解決を可能にします。
関連論文リスト
- Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams [54.528185120850274]
本稿では,API2Depという新しいステップバイステップコード生成フレームワークを提案する。
まず、サービス指向アーキテクチャに適した拡張Unified Modeling Language (UML) APIダイアグラムを紹介します。
次に、データフローの重要な役割を認識し、専用のデータ依存推論タスクを導入する。
論文 参考訳（メタデータ） (2025-08-05T12:28:23Z) - PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python [1.2644387713029346]
本稿では、PyPIエコシステム全体にわたる脆弱な依存関係の定量的解析であるPyPitfallを紹介する。
我々は,378,573個のPyPIパッケージの依存関係構造を分析し,少なくとも1つの既知の拡張可能なバージョンを必要とする4,655個のパッケージを特定した。
我々は,Pythonソフトウェアサプライチェーンのセキュリティに対する認識を高めることを目的としている。
論文 参考訳（メタデータ） (2025-07-24T03:58:18Z) - Solving Package Management via Hypergraph Dependency Resolution [0.19661503834671124]
HyperResは、ハイパーグラフを使用してバージョン付き依存性解決を記述するフォーマルなシステムである。
数十の既存のパッケージマネージャからHyperResへの変換を定義します。
これにより,パッケージマネージャの選択をユーザが変更する必要はなくなる。
論文 参考訳（メタデータ） (2025-06-12T15:18:30Z) - Towards Sustainable and Secure Reuse in Dependency Supply Chains: Initial Analysis of NPM packages at the End of the Chain [1.7577744940574058]
依存関係のサプライチェーンの終端にある責任を負う依存関係のないパッケージについて調査する。
NPMパッケージに最も依存しているものの最初の分析は、これらの重要な依存関係チェーンのかなりの部分を占めるチェーンのエンド・オブ・チェーン・パッケージであることを示している。
これらのパッケージは、持続的でセキュアなプラクティスで、依存性エコシステムの不確実なメリットを、戦略的再利用とバランスをとるための重要な教訓を明らかにしている、と私たちは主張する。
論文 参考訳（メタデータ） (2025-03-04T17:26:34Z) - OmniParser V2: Structured-Points-of-Thought for Unified Visual Text Parsing and Its Generality to Multimodal Large Language Models [58.45517851437422]
VsTP(Visually-situated text parsing)は、自動化された文書理解の需要が高まり、最近顕著な進歩を遂げている。
既存のソリューションは、タスク固有のアーキテクチャと個々のタスクの目的に依存していることが多い。
本稿では,テキストスポッティング,キー情報抽出,テーブル認識,レイアウト解析など,VsTPの典型的なタスクを統一する汎用モデルであるOmni V2を紹介する。
論文 参考訳（メタデータ） (2025-02-22T09:32:01Z) - Analyzing the Evolution of Inter-package Dependencies in Operating
Systems: A Case Study of Ubuntu [7.76541950830141]
オペレーティングシステム(OS)は複数の相互依存ソフトウェアパッケージを結合し、通常は独自に開発されたアーキテクチャを持つ。
進化的な努力のために、OSのデザイナや開発者たちは、個々のファイルにフォーカスするシステム全体の依存性を完全に理解することで、大きな恩恵を受けることができます。
本稿では,個々のバイナリファイルのレベルでの詳細なパッケージ関係の発見を目的としたフレームワークであるDepExを提案する。
論文 参考訳（メタデータ） (2023-07-10T10:12:21Z) - Visual Dependency Transformers: Dependency Tree Emerges from Reversed
Attention [106.67741967871969]
ラベルなしで視覚的依存関係を誘導できる視覚依存変換器(DependencyViT)を提案する。
我々は、子トークンが親トークンに出席し、情報を送信するように訓練された依存グラフとしてこれを定式化する。
DependencyViTは、ImageNet上の自己と弱い教師付き事前トレーニングパラダイムの両方でうまく機能する。
論文 参考訳（メタデータ） (2023-04-06T17:59:26Z) - Substructure Distribution Projection for Zero-Shot Cross-Lingual
Dependency Parsing [55.69800855705232]
SubDPは、サブ構造分布を別々に投影することで、あるドメインの構造を別のドメインに分割する手法である。
我々は,0ショットの言語間依存関係解析におけるSubDPの評価を行い,依存関係弧をサブストラクチャとする。
論文 参考訳（メタデータ） (2021-10-16T10:12:28Z) - Neural Abstructions: Abstractions that Support Construction for Grounded
Language Learning [69.1137074774244]
言語の相互作用を効果的に活用するには、言語基底に対する2つの最も一般的なアプローチの制限に対処する必要がある。
本稿では,ラベル条件付き生成モデルの推論手順に対する制約のセットであるニューラル・アブストラクションの考え方を紹介する。
この手法により,マインクラフトにおけるオープンエンドハウスタスクのセマンティックな変更をユーザ人口が構築できることが示される。
論文 参考訳（メタデータ） (2021-07-20T07:01:15Z) - ORDNet: Capturing Omni-Range Dependencies for Scene Parsing [135.11360962062957]
Omni-Range Dependencies Network(ORDNet)を構築し、短距離、中長距離の依存関係を効果的にキャプチャします。
我々のORDNetは、より包括的なコンテキスト情報を抽出し、シーンイメージの複雑な空間分散に順応することができる。
論文 参考訳（メタデータ） (2021-01-11T14:51:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。