:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Jacobs, Bart
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2505.04500
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
by: Jacobs, Bart
Published: (2026)

A flexible specification approach for verifying total correctness of fine-grained concurrent modules
by: Fasse, Justus, et al.
Published: (2023)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
by: Fan, Wen, et al.
Published: (2024)

A beginner guide to Iris, Coq and separation logic
by: Dietrich, Elizabeth
Published: (2021)

An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
by: Jacobs, Bart, et al.
Published: (2025)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

A denotationally-based program logic for higher-order store
by: Aagaard, Frederik Lerbjerg, et al.
Published: (2023)

Timetide: A programming model for logically synchronous distributed systems
by: Kenwright, Logan, et al.
Published: (2025)

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
by: Oda, Yukihiro
Published: (2025)

Automatic Differentiation for ML-family languages: correctness via logical relations
by: Nunes, Fernando Lucatelli, et al.
Published: (2022)

S4 modal sequent calculus as intermediate logic and intermediate language
by: Caspar, Jean, et al.
Published: (2026)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
by: Moreau, Vincent, et al.
Published: (2023)

CPU-less parallel execution of lambda calculus in digital logic
by: Fitchett, Harry, et al.
Published: (2026)

concurrentKanren: miniKanren for parallel execution
by: Dost, Sjoerd
Published: (2025)

Incremental units-of-measure verification
by: Danish, Matthew, et al.
Published: (2024)

Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation
by: Cassidy, Andrew S., et al.
Published: (2025)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

LeanLTL: A unifying framework for linear temporal logics in Lean
by: Vin, Eric, et al.
Published: (2025)

Solvent: liquidity verification of smart contracts
by: Bartoletti, Massimo, et al.
Published: (2024)

Enhancing youth development programs through logic model assessment
by: Thomas Martinek
Published: (2017)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)

How generics obscure the logic of conditionals
by: Daniel Lassiter, et al.
Published: (2026)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
by: Bartoletti, Massimo, et al.
Published: (2026)

Foundations of logic programming in hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Efficient compilation and execution of synchronous programs via type-state programming
by: Malik, Avinash
Published: (2025)

Portability of Fortran's `do concurrent' on GPUs
by: Caplan, Ronald M., et al.
Published: (2024)

On the logical skills of large language models: evaluations using arbitrarily complex first-order logic problems
by: Ibragimov, Shokhrukh, et al.
Published: (2025)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
by: Wang, Yaoxiang, et al.
Published: (2026)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
by: Xin, Yutong, et al.
Published: (2026)

Automatic question generation for propositional logical equivalences
by: Yang, Yicheng, et al.
Published: (2024)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

On the adoption problem and meta-logical monism
by: Mauro Santelli
Published: (2022)

Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)

The nature of loops in programming
by: Meyer, Bertrand
Published: (2025)

Reactive Programming without Functions
by: Oeyen, Bjarno, et al.
Published: (2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
by: Mora, Federico, et al.
Published: (2024)