Buchumschlag

Bean: A Language for Backward Error Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kellison, Ariel E., Zielinski, Laura, Bindel, David, Hsu, Justin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Logic in Computer Science Numerical Analysis
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Numerical Fuzz: A Type System for Rounding Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2024)

Type-Based Approaches to Rounding Error Analysis
von: Kellison, Ariel Eileen
Veröffentlicht: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
von: Tao, Yichen, et al.
Veröffentlicht: (2026)

Time-Sensitive Importance Splitting
von: Dengler, Gabriel, et al.
Veröffentlicht: (2025)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
von: Dengler, Gabriel, et al.
Veröffentlicht: (2024)

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

Automatic Verification of Floating-Point Accumulation Networks
von: Zhang, David K., et al.
Veröffentlicht: (2025)

Finite element method. Detailed proofs to be formalized in Coq
von: Clément, François, et al.
Veröffentlicht: (2024)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
von: Aguirre, Alejandro, et al.
Veröffentlicht: (2024)

Numerical Considerations in Weighted Model Counting
von: Bryant, Randal E.
Veröffentlicht: (2025)

revTPL: The Reversible Temporal Process Language
von: Bocchi, Laura, et al.
Veröffentlicht: (2022)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
von: Gorard, Jonathan, et al.
Veröffentlicht: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
von: Monniaux, David
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

A Probabilistic Choreography Language for PRISM
von: Carbone, Marco, et al.
Veröffentlicht: (2025)

On Quantum Programming Languages
von: Valiron, Benoît
Veröffentlicht: (2024)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

A Type System for Data Flow and Alias Analysis in ReScript
von: Lund, Nicky Ask, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Stateful Languages
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
von: Bembenek, Aaron, et al.
Veröffentlicht: (2026)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Structural Analysis of GRAFCET Control Specifications
von: Schnakenbeck, Aron, et al.
Veröffentlicht: (2023)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
von: Jang, Junyoung, et al.
Veröffentlicht: (2024)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2024)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
von: Lee, Jaeseo, et al.
Veröffentlicht: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

A Formally Verified Procedure for Width Inference in FIRRTL
von: Wang, Keyin, et al.
Veröffentlicht: (2026)

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)

Pleasant Imperative Program Proofs with GallinaC
von: Fort, Frédéric, et al.
Veröffentlicht: (2025)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Provenance Guided Rollback Suggestions
von: Zhao, David, et al.
Veröffentlicht: (2025)

A Prolog Program for Bottom-up Evaluation
von: Warren, David S.
Veröffentlicht: (2025)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

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

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)