Imagen de Portada

Handling Exceptions and Effects with Automatic Resource Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chu, Ethan, Guo, Yiyang, Hoffmann, Jan
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Composable Effect Handling for Programming LLM-integrated Scripts
por: Wang, Di
Publicado: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
por: Yang, Zhixuan, et al.
Publicado: (2025)

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

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

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

Handling Scope Checks (Extended Version)
por: Lee, Michael, et al.
Publicado: (2026)

Preventing Out-of-Gas Exceptions by Typing
por: Aceto, Luca, et al.
Publicado: (2024)

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

Efficient Cost Bounds with Linear Maps
por: Kahn, David M, et al.
Publicado: (2025)

Getting a Handle on Unmanaged Memory
por: Wanninger, Nick, et al.
Publicado: (2024)

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

Handling the Selection Monad (Full Version)
por: Plotkin, Gordon, et al.
Publicado: (2025)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
por: Sakayori, Ken, et al.
Publicado: (2025)

Galois Slicing as Automatic Differentiation
por: Atkey, Robert, et al.
Publicado: (2025)

Automatic layout of railroad diagrams
por: Chiplunkar, Shardul, et al.
Publicado: (2025)

Nonmalleable Progress Leakage
por: Cecchetti, Ethan
Publicado: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
por: Allred, Taylor, et al.
Publicado: (2024)

Automatic Inference of Relational Object Invariants
por: Su, Yusen, et al.
Publicado: (2024)

Automatically Verifying Replication-aware Linearizability
por: Soundarapandian, Vimala, et al.
Publicado: (2025)

Automatic Goal Clone Detection in Rocq
por: Ghanbari, Ali
Publicado: (2025)

Resource Specifications for Resource-Manipulating Programs
por: Grannan, Zachary, et al.
Publicado: (2023)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
por: Paganoni, Marco, et al.
Publicado: (2024)

Automatic Functional Differentiation in JAX
por: Lin, Min
Publicado: (2023)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
por: Xu, Han, et al.
Publicado: (2026)

Step in Tine: Forking Processes in Functional Choreographies
por: Samuelson, Ashley, et al.
Publicado: (2026)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
por: Samuelson, Ashley, et al.
Publicado: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
por: Zhao, Jianhong, et al.
Publicado: (2025)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
por: Lamouri, Djamel Rassem, et al.
Publicado: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
por: Vákár, Matthijs
Publicado: (2020)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
por: Estep, Sam
Publicado: (2024)

Paradigm-Based Automatic HDL Code Generation Using LLMs
por: Sun, Wenhao, et al.
Publicado: (2025)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
por: Chen, Ethan, et al.
Publicado: (2024)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
por: Selabi, Elvis Konjoh, et al.
Publicado: (2026)

Automatic Differentiation for ML-family languages: correctness via logical relations
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2022)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
por: Lim, Sangho, et al.
Publicado: (2025)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
por: Zhu, Yifan, et al.
Publicado: (2026)

Automatic Generation of Python Programs Using Context-Free Grammars
por: Yamani, Kamel, et al.
Publicado: (2024)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
por: Lundén, Daniel, et al.
Publicado: (2023)

Computationally Bounded Robust Compilation and Universally Composable Security
por: Künnemann, Robert, et al.
Publicado: (2024)