Inductive diagrams for causal reasoning
J Castello, P Redmond, L Kuper - Proceedings of the ACM on …, 2024 - dl.acm.org
The Lamport diagram is a pervasive and intuitive tool for informal reasoning about “happens-
before” relationships in a concurrent system. However, traditional axiomatic formalizations of …
before” relationships in a concurrent system. However, traditional axiomatic formalizations of …
The Relational Machine Calculus
C Barrett, D Castle, W Heijltjes - arXiv preprint arXiv:2405.10801, 2024 - arxiv.org
This paper presents the Relational Machine Calculus (RMC): a simple, foundational model
of first-order relational programming. The RMC originates from the Functional Machine …
of first-order relational programming. The RMC originates from the Functional Machine …
A Diagrammatic Algebra for Program Logics
Tape diagrams provide a convenient notation for arrows of rig categories, ie, categories
equipped with two monoidal products, $\oplus $ and $\otimes $, where $\otimes $ distributes …
equipped with two monoidal products, $\oplus $ and $\otimes $, where $\otimes $ distributes …
Inférence Profonde pour la Démonstration Graphique de Théorèmes
P Donato - 2024 - theses.hal.science
Les assistants de preuve sont des logiciels permettant de vérifierrigoureusement les
raisonnements mathématiques. Ils peuvent être généraux (commeCoq, Lean, Isabelle...) ou …
raisonnements mathématiques. Ils peuvent être généraux (commeCoq, Lean, Isabelle...) ou …
[PDF][PDF] Composition du Jury
H Herbelin - 2024 - lix.polytechnique.fr
Proof assistants are software systems that allow for the precise checking of mathematical
reasoning. They can be general purpose (like Coq, Lean, Isabelle...) or more specialized …
reasoning. They can be general purpose (like Coq, Lean, Isabelle...) or more specialized …
[PDF][PDF] A Complete Bibliography of Proceedings of the ACM on Programming Languages (PACMPL)
NHF Beebe - 2024 - netlib.sandia.gov
Abstract [BGMW20, BCE+23, BGG+20, Cou24, EDM23, GFV23, KEH23, Lem23, MZB24,
MFSV23, PWD24, YLY23, BCD22, CDG22, Cra19, FSSW22, FS22, JTD21, KMD+22 …
MFSV23, PWD24, YLY23, BCD22, CDG22, Cra19, FSSW22, FS22, JTD21, KMD+22 …