:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Beyer, Dirk, Jankola, Marek, Lingsch-Rosenfeld, Marian, Xia, Tian, Zheng, Xiyue
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2501.16310
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
par: Beyer, Dirk, et autres
Publié: (2025)

Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'
par: Ádám, Zsófia, et autres
Publié: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
par: Baier, Daniel, et autres
Publié: (2024)

Correctness Witnesses with Function Contracts
par: Heizmann, Matthias, et autres
Publié: (2025)

Deep R Programming
par: Gagolewski, Marek
Publié: (2022)

On Higher-Order Reachability Games vs May Reachability
par: Asada, Kazuyuki, et autres
Publié: (2022)

Resource Specifications for Resource-Manipulating Programs
par: Grannan, Zachary, et autres
Publié: (2023)

Modeling Reachability Types with Logical Relations
par: Bao, Yuyan, et autres
Publié: (2023)

MLIR-Forge: A Modular Framework for Language Smiths
par: Ates, Berke, et autres
Publié: (2026)

Program Analysis via Multiple Context Free Language Reachability
par: Conrado, Giovanna Kobus, et autres
Publié: (2024)

MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
par: Li, Jingyao, et autres
Publié: (2023)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
par: Beyer, Dirk, et autres
Publié: (2022)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
par: Yao, Peisen, et autres
Publié: (2026)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
par: Laurent, Jonathan, et autres
Publié: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
par: Kalita, Pankaj Kumar, et autres
Publié: (2024)

Challenges of Multilingual Program Specification and Analysis
par: Furia, Carlo A., et autres
Publié: (2024)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
par: Sotoudeh, Matthew
Publié: (2025)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
par: Muravev, Ilia
Publié: (2024)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

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

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
par: Ciccalè, Marco, et autres
Publié: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
par: Young, David, et autres
Publié: (2024)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
par: He, Siyuan, et autres
Publié: (2025)

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
par: Zhang, Qirun
Publié: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
par: Foo, Darius, et autres
Publié: (2023)

Transformers for Program Termination
par: Alon, Yoav, et autres
Publié: (2026)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
par: Jia, Songlin, et autres
Publié: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
par: Deng, Haotian, et autres
Publié: (2025)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
par: Wei, Anjiang, et autres
Publié: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
par: Brady, Seamus
Publié: (2026)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
par: Zhou, Shu, et autres
Publié: (2024)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
par: Endo, Ryunosuke, et autres
Publié: (2025)

Memory Consistency and Program Transformations
par: Gopalakrishnan, Akshay, et autres
Publié: (2024)

Agentic Specification Generator for Move Programs
par: Fu, Yu-Fu, et autres
Publié: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
par: Jamner, Dustin, et autres
Publié: (2025)

Compilation of Modular and General Sparse Workspaces
par: Zhang, Genghan, et autres
Publié: (2024)

JoinActors: A Modular Library for Actors with Join Patterns
par: Hussein, Ayman, et autres
Publié: (2026)