Buchumschlag

Extending the Quantitative Pattern-Matching Paradigm

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Alves, Sandra, Kesner, Delia, Ramos, Miguel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Logic in Computer Science D.3.1; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Genericity Through Stratification
von: Arrial, Victor, et al.
Veröffentlicht: (2024)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
von: Xu, Qiyuan, et al.
Veröffentlicht: (2024)

Node Replication: Theory And Practice
von: Kesner, Delia, et al.
Veröffentlicht: (2022)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
von: Laurent, Théo, et al.
Veröffentlicht: (2023)

AdapTT: Functoriality for Dependent Type Casts
von: Adjedj, Arthur, et al.
Veröffentlicht: (2025)

Verifying Tree-Manipulating Programs via CHCs
von: Faella, Marco, et al.
Veröffentlicht: (2025)

What does it take to certify a conversion checker?
von: Lennon-Bertrand, Meven
Veröffentlicht: (2025)

Well-Scoped Locally Nameless Representation of Syntax
von: Pitts, Andrew M.
Veröffentlicht: (2026)

LeanLTL: A unifying framework for linear temporal logics in Lean
von: Vin, Eric, et al.
Veröffentlicht: (2025)

Simple Types for Polymorphic Functions
von: Jay, Barry, et al.
Veröffentlicht: (2026)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

Separation Logic of Generic Resources via Sheafeology
von: van Starkenburg, Berend, et al.
Veröffentlicht: (2025)

The General and Finite Satisfiability Problems for PCTL are Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2024)

The Thins Ordering on Relations
von: Voermans, Ed, et al.
Veröffentlicht: (2024)

Diagonals and Block-Ordered Relations
von: Backhouse, Roland, et al.
Veröffentlicht: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
von: Backhouse, Roland, et al.
Veröffentlicht: (2023)

Probabilistic Epistemic Dynamic Agentive Logic
von: Logan, Shay Allen
Veröffentlicht: (2026)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
von: Sundaram, Aarthi, et al.
Veröffentlicht: (2021)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Stratified Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2023)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)

Nominal techniques as an Agda library
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2026)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

Quantitative Verification with Neural Networks
von: Abate, Alessandro, et al.
Veröffentlicht: (2023)

A Type Theory for Probabilistic and Bayesian Reasoning
von: Adams, Robin, et al.
Veröffentlicht: (2015)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
von: Cerda, Rémy
Veröffentlicht: (2025)

How to Verify a Turing Machine with Dafny
von: Lederer, Edgar F. A.
Veröffentlicht: (2026)

Symmetries in Sorting
von: Choudhury, Vikraman, et al.
Veröffentlicht: (2025)

A note on occur-check (extended report)
von: Drabent, Włodzimierz
Veröffentlicht: (2022)

Model Checking Probabilistic Operator Precedence Automata
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
von: Frenkel, Eden, et al.
Veröffentlicht: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
von: Pfeifer, Wolfram, et al.
Veröffentlicht: (2026)

Infinitary Refinement Types for Temporal Properties in Scott Domains
von: Riba, Colin, et al.
Veröffentlicht: (2025)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
von: Bansal, Suguman, et al.
Veröffentlicht: (2025)

Unified Fairness for Weak Memory Verification
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2023)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)