Image de couverture de livre

A Program Logic for Under-approximating Worst-case Resource Usage

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jin, Ziyue, Wang, Di
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
par: Pham, Long, et autres
Publié: (2023)

Logic Programming with Extensible Types
par: Perez, Ivan, et autres
Publié: (2026)

Finite-Choice Logic Programming
par: Martens, Chris, et autres
Publié: (2024)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
par: Zilberstein, Noam
Publié: (2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

FO-Complete Program Verification for Heap Logics
par: Murali, Adithya, et autres
Publié: (2026)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
par: Teuber, Samuel, et autres
Publié: (2025)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
par: Kifer, Michael, et autres
Publié: (2026)

Partial Incorrectness Logic
par: Verscht, Lena, et autres
Publié: (2025)

Unrealizability Logic
par: Kim, Jinwoo, et autres
Publié: (2022)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
par: Aguirre, Alejandro, et autres
Publié: (2024)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

A Demonic Outcome Logic for Randomized Nondeterminism
par: Zilberstein, Noam, et autres
Publié: (2024)

Recursive Mutexes in Separation Logic
par: Du, Ke, et autres
Publié: (2026)

RustyDL: A Program Logic for Rust
par: Drodt, Daniel, et autres
Publié: (2026)

Ordered Adjoint Logic (Extended Version)
par: Roshal, Sophia, et autres
Publié: (2026)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
par: Vollmer, Victoria, et autres
Publié: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
par: Brotherston, James, et autres
Publié: (2025)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
par: Barthe, Gilles, et autres
Publié: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
par: Le, Quang Loc
Publié: (2025)

Reasoning about Weak Isolation Levels in Separation Logic
par: Mathiasen, Anders Alnor, et autres
Publié: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
par: Gregersen, Simon Oddershede, et autres
Publié: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
par: Accattoli, Beniamino
Publié: (2022)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
par: Montesi, Fabrizio, et autres
Publié: (2026)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
par: Zilberstein, Noam, et autres
Publié: (2024)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
par: Giusti, Giulia, et autres
Publié: (2025)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
par: Li, Runming, et autres
Publié: (2025)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
par: Zilberstein, Noam, et autres
Publié: (2023)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
par: Timany, Amin, et autres
Publié: (2021)

Contract Usage and Evolution in Android Mobile Applications
par: Ferreira, David R., et autres
Publié: (2024)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
par: Chaudhuri, Kaustuv, et autres
Publié: (2025)

Semantically Reflected Programs
par: Kamburjan, Eduard, et autres
Publié: (2025)

On Quantum Programming Languages
par: Valiron, Benoît
Publié: (2024)