Buchumschlag

Efficient Cost Bounds with Linear Maps

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kahn, David M, Hoffmann, Jan, Reps, Thomas, Grosen, Jessie
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

Synthesizing Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2023)

Software Model Checking via Summary-Guided Search (Extended Version)
von: Fang, Ruijie, et al.
Veröffentlicht: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

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

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
von: Nagy, Shaan, et al.
Veröffentlicht: (2024)

Unrealizability Logic
von: Kim, Jinwoo, et al.
Veröffentlicht: (2022)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

The SemGuS Toolkit
von: Johnson, Keith J. C., et al.
Veröffentlicht: (2024)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
von: Johnson, Keith J. C., et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2025)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Handling Exceptions and Effects with Automatic Resource Analysis
von: Chu, Ethan, et al.
Veröffentlicht: (2026)

Polynomial Bounds of CFLOBDDs against BDDs
von: Zhi, Xusheng, et al.
Veröffentlicht: (2024)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
von: Lian, Qihao, et al.
Veröffentlicht: (2025)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
von: Accattoli, Beniamino
Veröffentlicht: (2022)

Do CFLOBDDs Actually Make Use of Linear Structure?
von: Sistla, Meghana Aparna, et al.
Veröffentlicht: (2026)

LFPL: Revisited and Mechanized
von: Glover, Nathaniel, et al.
Veröffentlicht: (2026)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
von: Galasso-Carbonnel, Jessie, et al.
Veröffentlicht: (2023)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
von: Bagrel, Thomas, et al.
Veröffentlicht: (2025)

Fusing Gathers with Integer Linear Programming
von: van Balen, David, et al.
Veröffentlicht: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
von: Ma, Zhiyao, et al.
Veröffentlicht: (2025)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
von: Pham, Long, et al.
Veröffentlicht: (2023)

An Iris for Expected Cost Analysis
von: Lohse, Janine, et al.
Veröffentlicht: (2024)

Linear Constraints
von: Spiwack, Arnaud, et al.
Veröffentlicht: (2026)

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

Soundly Handling Linearity
von: Tang, Wenhao, et al.
Veröffentlicht: (2023)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

Towards Efficient Hash Maps in Functional Array Languages
von: Due, William Henrich, et al.
Veröffentlicht: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
von: Takisaka, Toru, et al.
Veröffentlicht: (2023)

Verifying Sequential Consistency under Bounded Preemptions
von: Govind, R., et al.
Veröffentlicht: (2026)

Time for Timed Monitorability
von: Grosen, Thomas M., et al.
Veröffentlicht: (2025)

Cost Analysis for Import and Export Using an Abstract Machine
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

Semantic Subtyping for Maps in Erlang
von: Yildirim, Erdem, et al.
Veröffentlicht: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
von: Fu, Zhoulai, et al.
Veröffentlicht: (2025)