Image de couverture de livre

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	McCann, Alan L.
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Logic in Computer Science Programming Languages D.2.4, D.3.1, F.3.1, I.2.0
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
par: McCann, Alan L.
Publié: (2026)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
par: McCann, Alan L.
Publié: (2026)

The Two Boundaries: Why Behavioral AI Governance Fails Structurally
par: McCann, Alan L.
Publié: (2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
par: McCann, Alan L.
Publié: (2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
par: McCann, Alan L.
Publié: (2026)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
par: McCann, Alan L.
Publié: (2026)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
par: McCann, Alan L.
Publié: (2026)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Complementing an imperative process algebra with a rely/guarantee logic
par: Middelburg, C. A.
Publié: (2025)

Probabilistic imperative process algebra
par: Middelburg, C. A.
Publié: (2026)

Summa Summarum: Moessner's Theorem without Dynamic Programming
par: Danvy, Olivier
Publié: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

Verification of E-Voting Algorithms in Dafny
par: Büttner, Robert, et autres
Publié: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
par: Sextl, Florian, et autres
Publié: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
par: Chiari, Michele, et autres
Publié: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
par: Esen, Zafer, et autres
Publié: (2025)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
par: Reinhard, Tobias
Publié: (2024)

Automatic Function Annotations for Hoare Logic
par: Matichuk, Danielle
Publié: (2012)

Space-time process algebra with asynchronous communication
par: Bergstra, J. A., et autres
Publié: (2024)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
par: Middelburg, C. A.
Publié: (2021)

On the Decidability of Verification under Release/Acquire
par: Conrado, Giovanna Kobus, et autres
Publié: (2026)

Explicit Weakening
par: Wadler, Philip
Publié: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
par: Zhang, Xindi, et autres
Publié: (2025)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
par: Prebet, Enguerrand, et autres
Publié: (2026)

Uniform Substitution for Differential Refinement Logic
par: Prebet, Enguerrand, et autres
Publié: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
par: Parrinha, Francisco, et autres
Publié: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
par: Frenkel, Eden, et autres
Publié: (2026)

Peek2: Regex-free Byte-level Byte-Pair Encoding Pretokenizer for LLM Inference on Edge Devices
par: Zai, Liu, et autres
Publié: (2026)

The pitfalls of verifying floating-point computations
par: Monniaux, David
Publié: (2007)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
par: Demichelis, Remy
Publié: (2026)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)

Quantifying Confidence in Assurance 2.0 Arguments
par: Bloomfield, Robin, et autres
Publié: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
par: Pfeifer, Wolfram, et autres
Publié: (2026)

Model Checking Probabilistic Operator Precedence Automata
par: Pontiggia, Francesco, et autres
Publié: (2024)

Unified Fairness for Weak Memory Verification
par: Abdulla, Parosh Aziz, et autres
Publié: (2023)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
par: Baier, Daniel, et autres
Publié: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
par: Ates, Salih, et autres
Publié: (2024)