Buchumschlag

Identifying Minimal Changes in the Zone Abstract Domain

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ballou, Kenny, Sherman, Elena
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Minimally Comparing Relational Abstract Domains
von: Ballou, Kenny, et al.
Veröffentlicht: (2023)

muRelBench: MicroBenchmarks for Zonotope Domains
von: Ballou, Kenny, et al.
Veröffentlicht: (2024)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
von: de Lima, Thaynara Arielly, et al.
Veröffentlicht: (2024)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
von: Frenkel, Eden, et al.
Veröffentlicht: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
von: Pincus, Jared, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
von: Biernacka, Małgorzata, et al.
Veröffentlicht: (2022)

The Characterization of Abstract Truth and its Factorization
von: Kent, Robert E.
Veröffentlicht: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
von: Sangiorgi, Davide
Veröffentlicht: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

A Zone-Based Algorithm for Timed Parity Games
von: Geeraerts, Gilles, et al.
Veröffentlicht: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
von: Pizzo, Nicolò, et al.
Veröffentlicht: (2026)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
von: Intrigila, Benedetto, et al.
Veröffentlicht: (2023)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
von: Szalas, Andrzej
Veröffentlicht: (2025)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
von: Saxena, Ishan, et al.
Veröffentlicht: (2025)

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

Combining Combination Properties: Minimal Models
von: de Toledo, Guilherme Vicentin, et al.
Veröffentlicht: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
von: Konečný, Michal, et al.
Veröffentlicht: (2024)

Compact SAT Encoding for Power Peak Minimization
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2025)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

Database Research needs an Abstract Relational Query Language
von: Gatterbauer, Wolfgang, et al.
Veröffentlicht: (2025)

Minimal modal logics, constructive modal logics and their relations
von: Dalmonte, Tiziano
Veröffentlicht: (2023)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Positive Sharing and Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
von: Ito, Sohei, et al.
Veröffentlicht: (2025)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
von: Vehlken, Fabian, et al.
Veröffentlicht: (2026)

Identifying Tractable Quantified Temporal Constraints within Ord-Horn
von: Rydval, Jakub, et al.
Veröffentlicht: (2024)

Solving Homotopy Domain Equations
von: Martínez-Rivillas, Daniel O., et al.
Veröffentlicht: (2021)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
von: Karimov, Toghrul
Veröffentlicht: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

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