Imagen de Portada

RustyDL: A Program Logic for Rust

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Drodt, Daniel, Hähnle, Reiner
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages Logic in Computer Science 68Q60
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Expressive Trace Logic for Recursive Programs
por: Gurov, Dilian, et al.
Publicado: (2024)

A Complete Fragment of LTL(EB)
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
por: Alpay, Faruk, et al.
Publicado: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
por: Lu, Weijie, et al.
Publicado: (2026)

Principal Types as Partial Involutions
por: Honsell, Furio, et al.
Publicado: (2024)

The Maude strategy language
por: Eker, Steven, et al.
Publicado: (2024)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
por: Galmiche, Didier, et al.
Publicado: (2024)

Flavors of Quantifiers in Hyperlogics
por: Chalupa, Marek, et al.
Publicado: (2025)

A study of the Antlion Random Walk
por: Narimatsu, Akihiro, et al.
Publicado: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
por: Chalupa, Marek, et al.
Publicado: (2025)

Simulating and model checking membrane systems using strategies in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

The complexity of being monitorable
por: Camerlo, Riccardo, et al.
Publicado: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
por: Pfeifer, Wolfram, et al.
Publicado: (2026)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
por: Alpay, Faruk, et al.
Publicado: (2025)

Generalised Möbius Categories and Convolution Kleene Algebras
por: Cranch, James, et al.
Publicado: (2025)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
por: Iskander, Ray
Publicado: (2026)

Formal Verification of Imperative First-Class Functions in Move
por: Grieskamp, Wolfgang, et al.
Publicado: (2026)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
por: Salvadori, Daniel Augusto Rizzi
Publicado: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
por: De Angelis, Emanuele, et al.
Publicado: (2022)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
por: Koomullil, George
Publicado: (2026)

Strategies, model checking and branching-time properties in Maude
por: Rubio, Rubén, et al.
Publicado: (2024)

Model checking strategy-controlled systems in rewriting logic
por: Rubio, Rubén, et al.
Publicado: (2024)

Formal Foundations for Controlled Stochastic Activity Networks
por: Movaghar, Ali
Publicado: (2025)

Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
por: Larrauri, Alberto
Publicado: (2025)

Executable Boundary Contracts for Sound Event Traces
por: Alpay, Faruk, et al.
Publicado: (2026)

Unifying lower bounds for algebraic machines, semantically
por: Seiller, Thomas, et al.
Publicado: (2018)

Combining Mechanical and Agentic Specification Inference for Move
por: Grieskamp, Wolfgang, et al.
Publicado: (2026)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
por: Dubey, ShivKishan, et al.
Publicado: (2025)

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

Undefinability of Approximation of 2-to-2 Games
por: Dawar, Anuj, et al.
Publicado: (2025)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
por: Wang, Shuai
Publicado: (2024)

Game Comonads & Generalised Quantifiers
por: Conghaile, Adam Ó, et al.
Publicado: (2020)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
por: Alpay, Faruk, et al.
Publicado: (2026)

A Formalization of Abstract Rewriting in Agda
por: Arkle, Sam, et al.
Publicado: (2026)

On Chaitin's Heuristic Principle and Halting Probability
por: Salehi, Saeed
Publicado: (2023)

On Woolhouse's Cotton-Spinning Problem
por: Groote, Jan Friso, et al.
Publicado: (2024)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
por: Nishida, Naoki, et al.
Publicado: (2026)

A Sequent Calculus For Trace Formula Implication
por: Heidler, Niklas, et al.
Publicado: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
por: van der Meyden, Ron
Publicado: (2025)

Logic Programming with Extensible Types
por: Perez, Ivan, et al.
Publicado: (2026)