:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Drodt, Daniel, Hähnle, Reiner
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Logic in Computer Science 68Q60
Online-Zugang:	https://arxiv.org/abs/2602.22075
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An Expressive Trace Logic for Recursive Programs
von: Gurov, Dilian, et al.
Veröffentlicht: (2024)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

A Complete Fragment of LTL(EB)
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
von: Lu, Weijie, et al.
Veröffentlicht: (2026)

Flavors of Quantifiers in Hyperlogics
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Principal Types as Partial Involutions
von: Honsell, Furio, et al.
Veröffentlicht: (2024)

The Maude strategy language
von: Eker, Steven, et al.
Veröffentlicht: (2024)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
von: Galmiche, Didier, et al.
Veröffentlicht: (2024)

A study of the Antlion Random Walk
von: Narimatsu, Akihiro, et al.
Veröffentlicht: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Generalised Möbius Categories and Convolution Kleene Algebras
von: Cranch, James, et al.
Veröffentlicht: (2025)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
von: Iskander, Ray
Veröffentlicht: (2026)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

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

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
von: Koomullil, George
Veröffentlicht: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

Formal Foundations for Controlled Stochastic Activity Networks
von: Movaghar, Ali
Veröffentlicht: (2025)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
von: Salvadori, Daniel Augusto Rizzi
Veröffentlicht: (2025)

Combining Mechanical and Agentic Specification Inference for Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Strategies, model checking and branching-time properties in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Model checking strategy-controlled systems in rewriting logic
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Executable Boundary Contracts for Sound Event Traces
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
von: Larrauri, Alberto
Veröffentlicht: (2025)

On Chaitin's Heuristic Principle and Halting Probability
von: Salehi, Saeed
Veröffentlicht: (2023)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
von: Wang, Shuai
Veröffentlicht: (2024)

On Woolhouse's Cotton-Spinning Problem
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
von: Marković, Petar, et al.
Veröffentlicht: (2026)

Unifying lower bounds for algebraic machines, semantically
von: Seiller, Thomas, et al.
Veröffentlicht: (2018)

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

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
von: van der Meyden, Ron
Veröffentlicht: (2025)

Undefinability of Approximation of 2-to-2 Games
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
von: Zhang, Manqing, et al.
Veröffentlicht: (2026)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
von: Dubey, ShivKishan, et al.
Veröffentlicht: (2025)

A Formalization of Abstract Rewriting in Agda
von: Arkle, Sam, et al.
Veröffentlicht: (2026)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
von: Nishida, Naoki, et al.
Veröffentlicht: (2026)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)