Image de couverture de livre

Package Managers à la Carte: A Formal Model of Dependency Resolution

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gibb, Ryan, Ferris, Patrick, Allsopp, David, Gazagnaire, Thomas, Madhavapeddy, Anil
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Solving Package Management via Hypergraph Dependency Resolution
par: Gibb, Ryan, et autres
Publié: (2025)

FLAT: Formal Languages as Types
par: Zhu, Fengmin, et autres
Publié: (2025)

From a Natural to a Formal Language with DSL Assistant
par: Mosthaf, My M., et autres
Publié: (2024)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
par: Zhao, Jianhong, et autres
Publié: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
par: Arfi, Farid, et autres
Publié: (2024)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
par: Feng, Qiong, et autres
Publié: (2026)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
par: Stinnett, J. Ryan, et autres
Publié: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
par: Fang, Ruijie, et autres
Publié: (2025)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
par: Endres, Madeline, et autres
Publié: (2023)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
par: Yu, Simon, et autres
Publié: (2026)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
par: Yu, ZeHao
Publié: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
par: Richter, Cedric, et autres
Publié: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
par: Zhang, Hanliang, et autres
Publié: (2024)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
par: Lang, Frédéric, et autres
Publié: (2024)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
par: Heinze, Thomas S.
Publié: (2026)

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
par: Foalem, Patrick Loic, et autres
Publié: (2026)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
par: Garavel, Hubert
Publié: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
par: Sanchez-Stern, Alex, et autres
Publié: (2024)

A Roadmap for Tamed Interactions with Large Language Models
par: Scotti, Vincenzo, et autres
Publié: (2025)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
par: Le-Cong, Thanh, et autres
Publié: (2025)

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

StoneDetector: Conventional and versatile code clone detection for Java
par: Heinze, Thomas S., et autres
Publié: (2025)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
par: Mavridou, Anastasia, et autres
Publié: (2025)

Superset Decompilation
par: Liu, Chang, et autres
Publié: (2026)

Typing Requirement Model as Coroutines
par: Gu, Qiqi, et autres
Publié: (2024)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
par: Chakraborty, Madhurima, et autres
Publié: (2025)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
par: Xin, Yutong, et autres
Publié: (2026)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
par: Xu, Ning, et autres
Publié: (2026)

Reflections on the design, applications and implementations of the normative specification language eFLINT
par: van Binsbergen, L. Thomas, et autres
Publié: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
par: Xia, Shihao, et autres
Publié: (2026)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
par: Laguna, Ignacio, et autres
Publié: (2024)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
par: Mang, Qiuyang, et autres
Publié: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
par: Smyth, Steven, et autres
Publié: (2025)

LPR: Large Language Models-Aided Program Reduction
par: Zhang, Mengxiao, et autres
Publié: (2023)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
par: Xu, Zhenyang, et autres
Publié: (2025)