Cover Image

Minimally Comparing Relational Abstract Domains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ballou, Kenny, Sherman, Elena
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Identifying Minimal Changes in the Zone Abstract Domain
by: Ballou, Kenny, et al.
Published: (2023)

muRelBench: MicroBenchmarks for Zonotope Domains
by: Ballou, Kenny, et al.
Published: (2024)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
by: de Lima, Thaynara Arielly, et al.
Published: (2024)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
by: Frenkel, Eden, et al.
Published: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)

Database Research needs an Abstract Relational Query Language
by: Gatterbauer, Wolfgang, et al.
Published: (2025)

An Abstract Domain for Heap Commutativity (Extended Version)
by: Pincus, Jared, et al.
Published: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

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

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

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

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

The Characterization of Abstract Truth and its Factorization
by: Kent, Robert E.
Published: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
by: Ahrens, Emma, et al.
Published: (2025)

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

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

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

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

Faster Lifting for Ordered Domains with Predecessor Relations
by: Zou, Kuncheng, et al.
Published: (2025)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
by: Intrigila, Benedetto, et al.
Published: (2023)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
by: Szalas, Andrzej
Published: (2025)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
by: Saxena, Ishan, et al.
Published: (2025)

On Lower Bounding Minimal Model Count
by: Kabir, Mohimenul, et al.
Published: (2024)

Combining Combination Properties: Minimal Models
by: de Toledo, Guilherme Vicentin, et al.
Published: (2024)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

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

Compact SAT Encoding for Power Peak Minimization
by: Van Kieu, Tuyen, et al.
Published: (2025)

Minimal Model Counting via Knowledge Compilation
by: Kabir, Mohimenul
Published: (2024)

Minimal modal logics, constructive modal logics and their relations
by: Dalmonte, Tiziano
Published: (2023)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
by: Lyon, Tim S., et al.
Published: (2023)

Positive Sharing and Abstract Machines
by: Accattoli, Beniamino, et al.
Published: (2025)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
by: Ito, Sohei, et al.
Published: (2025)