Imagen de Portada

Efficient Cost Bounds with Linear Maps

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kahn, David M, Hoffmann, Jan, Reps, Thomas, Grosen, Jessie
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
por: Kahn, David M, et al.
Publicado: (2025)

Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)

Synthesizing Abstract Transformers for Reduced-Product Domains
por: Kalita, Pankaj Kumar, et al.
Publicado: (2024)

Synthesizing Specifications
por: Park, Kanghee, et al.
Publicado: (2023)

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
por: Nagy, Shaan, et al.
Publicado: (2024)

Unrealizability Logic
por: Kim, Jinwoo, et al.
Publicado: (2022)

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

The SemGuS Toolkit
por: Johnson, Keith J. C., et al.
Publicado: (2024)

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

Verifying Solutions to Semantics-Guided Synthesis Problems
por: Murphy, Charlie, et al.
Publicado: (2024)

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

Synthesizing Formal Semantics from Executable Interpreters
por: Liu, Jiangyi, et al.
Publicado: (2024)

Handling Exceptions and Effects with Automatic Resource Analysis
por: Chu, Ethan, et al.
Publicado: (2026)

Polynomial Bounds of CFLOBDDs against BDDs
por: Zhi, Xusheng, et al.
Publicado: (2024)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
por: Lian, Qihao, et al.
Publicado: (2025)

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

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
por: Accattoli, Beniamino
Publicado: (2022)

Do CFLOBDDs Actually Make Use of Linear Structure?
por: Sistla, Meghana Aparna, et al.
Publicado: (2026)

LFPL: Revisited and Mechanized
por: Glover, Nathaniel, et al.
Publicado: (2026)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
por: Galasso-Carbonnel, Jessie, et al.
Publicado: (2023)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
por: Bagrel, Thomas, et al.
Publicado: (2025)

Fusing Gathers with Integer Linear Programming
por: van Balen, David, et al.
Publicado: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
por: Ma, Zhiyao, et al.
Publicado: (2025)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
por: Pham, Long, et al.
Publicado: (2023)

An Iris for Expected Cost Analysis
por: Lohse, Janine, et al.
Publicado: (2024)

Linear Constraints
por: Spiwack, Arnaud, et al.
Publicado: (2026)

Synthesizing Backward Error Bounds, Backward
por: Zielinski, Laura, et al.
Publicado: (2026)

Soundly Handling Linearity
por: Tang, Wenhao, et al.
Publicado: (2023)

Towards Efficient Hash Maps in Functional Array Languages
por: Due, William Henrich, et al.
Publicado: (2025)

Automated Expected Cost Analysis for Quantum Programs
por: Moser, Georg, et al.
Publicado: (2026)

Time for Timed Monitorability
por: Grosen, Thomas M., et al.
Publicado: (2025)

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

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
por: Takisaka, Toru, et al.
Publicado: (2023)

Verifying Sequential Consistency under Bounded Preemptions
por: Govind, R., et al.
Publicado: (2026)

Cost Analysis for Import and Export Using an Abstract Machine
por: Bennetzen, Benjamin, et al.
Publicado: (2024)

Semantic Subtyping for Maps in Erlang
por: Yildirim, Erdem, et al.
Publicado: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
por: Fu, Zhoulai, et al.
Publicado: (2025)