Image de couverture de livre

The analogy theorem in Hoare logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Nikita, Nikitin
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Logic Computation Methodology
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A quantitative probabilistic relational Hoare logic
par: Avanzini, Martin, et autres
Publié: (2024)

Alignment complete relational Hoare logics for some and all
par: Nagasamudram, Ramana, et autres
Publié: (2023)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
par: Benedikt, Michael, et autres
Publié: (2026)

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
par: Oda, Yukihiro
Publié: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
par: Powell, Thomas
Publié: (2023)

Learning logic programs by finding minimal unsatisfiable subprograms
par: Cropper, Andrew, et autres
Publié: (2024)

Neural logic programs and neural nets
par: Antić, Christian
Publié: (2024)

The unstable formula theorem revisited via algorithms
par: Malliaris, Maryanthe, et autres
Publié: (2022)

Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
par: Weitkämper, Felix
Publié: (2021)

A Generalized Hybrid Hoare Logic
par: Zhan, Naijun, et autres
Publié: (2023)

Access Hoare Logic
par: Beckmann, Arnold, et autres
Publié: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

From learnable objects to learnable random objects
par: Anderson, Aaron, et autres
Publié: (2025)

Programs as Singularities
par: Murfet, Daniel, et autres
Publié: (2025)

Relational Hoare Logic for Realistically Modelled Machine Code
par: Mazzucato, Denis, et autres
Publié: (2025)

A Hoare Logic for Domain Specification (Full Version)
par: Kamburjan, Eduard, et autres
Publié: (2024)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
par: Ye, Kangfeng, et autres
Publié: (2023)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
par: Mendez-Lucero, Miguel Angel, et autres
Publié: (2024)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
par: Sun, Xin, et autres
Publié: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
par: Dardinier, Thibault, et autres
Publié: (2023)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
par: Budde, Carlos E., et autres
Publié: (2025)

Cyclic Proofs in Hoare Logic and its Reverse
par: Brotherston, James, et autres
Publié: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

End-To-End Causal Effect Estimation from Unstructured Natural Language Data
par: Dhawan, Nikita, et autres
Publié: (2024)

Score-based change point detection via tracking the best of infinitely many experts
par: Markovich, Anna, et autres
Publié: (2024)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
par: Kozyrev, Andrei, et autres
Publié: (2025)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
par: Sun, Xin, et autres
Publié: (2024)

Logic-based analogical proportions
par: Antić, Christian
Publié: (2024)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

Agnostic Online Learning and Excellent Sets
par: Malliaris, Maryanthe, et autres
Publié: (2021)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

A quantitative Robbins-Siegmund theorem
par: Neri, Morenikeji, et autres
Publié: (2024)