:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhu, Yu Xiang, Robinson, Amos, Roshal, Sophia, Mou, Timothy, Mackay, Julian, Aldrich, Jonathan, Potanin, Alex
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2507.03867
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ordered Adjoint Logic (Extended Version)
von: Roshal, Sophia, et al.
Veröffentlicht: (2026)

A Coq implementation of a Theory of Tagged Objects
von: Gates, Matthew, et al.
Veröffentlicht: (2025)

Evaluating the Language-Based Security for Plugin Development
von: Liang, Naisheng, et al.
Veröffentlicht: (2024)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
von: Britton, Matthew, et al.
Veröffentlicht: (2026)

Adjoint Natural Deduction (Extended Version)
von: Jang, Junyoung, et al.
Veröffentlicht: (2024)

Reasoning about External Calls
von: Drossopoulou, Sophia, et al.
Veröffentlicht: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
von: Young, David, et al.
Veröffentlicht: (2024)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)

Validating Quantum State Preparation Programs (Extended Version)
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Flexible Correct-by-Construction Programming
von: Runge, Tobias, et al.
Veröffentlicht: (2022)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
von: Balik, Patrycja, et al.
Veröffentlicht: (2025)

Causality and Semantic Separation
von: Zhang, Anna, et al.
Veröffentlicht: (2026)

Gradual Verification for Smart Contracts
von: Sun, Haojia, et al.
Veröffentlicht: (2023)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
von: Engel, Daniel, et al.
Veröffentlicht: (2026)

Deciding Serializability in Network Systems
von: Amir, Guy, et al.
Veröffentlicht: (2026)

Introducing Support for Move Operations in Melda CRDT
von: Brocco, Amos
Veröffentlicht: (2025)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
von: Endo, Ryunosuke, et al.
Veröffentlicht: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

An Operational Semantics for Yul
von: Koutavas, Vasileios, et al.
Veröffentlicht: (2024)

Separating Sessions Smoothly
von: Fowler, Simon, et al.
Veröffentlicht: (2021)

Decidable By Construction: Design-Time Verification for Trustworthy AI
von: Haynes, Houston
Veröffentlicht: (2026)

Context-Aware Separation Logic
von: Meyer, Roland, et al.
Veröffentlicht: (2023)

On the Decidability of Verification under Release/Acquire
von: Conrado, Giovanna Kobus, et al.
Veröffentlicht: (2026)

Hyper Separation Logic (extended version)
von: Gospodinov, Trayan, et al.
Veröffentlicht: (2026)

Nominal techniques as an Agda library
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2026)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
von: Nagy, Shaan, et al.
Veröffentlicht: (2025)

Open-World Assertion Checking for Smart Contracts via Game Semantics
von: Koutavas, Vasileios, et al.
Veröffentlicht: (2025)

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
von: Mughal, A. H.
Veröffentlicht: (2024)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
von: Cerda, Rémy
Veröffentlicht: (2025)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
von: Chen, Xiaohan, et al.
Veröffentlicht: (2025)

Tail Modulo Cons, OCaml, and Relational Separation Logic
von: Allain, Clément, et al.
Veröffentlicht: (2024)

Exo 2: Growing a Scheduling Language
von: Ikarashi, Yuka, et al.
Veröffentlicht: (2024)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
von: Rupprecht, Sophia, et al.
Veröffentlicht: (2025)

Adaptive Shielding via Parametric Safety Proofs
von: Feng, Yao, et al.
Veröffentlicht: (2025)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2024)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
von: Kahn, David M, et al.
Veröffentlicht: (2025)