:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Färber, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages D.3.1
Online-Zugang:	https://arxiv.org/abs/2403.20132
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Strong Dinatural Transformations and Generalised Codensity Monads
von: Piróg, Maciej, et al.
Veröffentlicht: (2025)

Unified Fairness for Weak Memory Verification
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2023)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
von: Xu, Qiyuan, et al.
Veröffentlicht: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
von: Stepanenko, Sergei, et al.
Veröffentlicht: (2025)

Uniqueness is Separation
von: O'Connor, Liam, et al.
Veröffentlicht: (2026)

Explicit Weakening
von: Wadler, Philip
Veröffentlicht: (2024)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
von: Grabmayer, Clemens, et al.
Veröffentlicht: (2025)

Multisets and Distributions
von: Kozen, Dexter, et al.
Veröffentlicht: (2023)

Extending the Quantitative Pattern-Matching Paradigm
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

A New Interaction Concept for Interactive and Autoactive Program Verification
von: Pfeifer, Wolfram, et al.
Veröffentlicht: (2026)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Model Checking Probabilistic Operator Precedence Automata
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
von: Frenkel, Eden, et al.
Veröffentlicht: (2026)

Reasoning about concurrent loops and recursion with rely-guarantee rules
von: Hayes, Ian J., et al.
Veröffentlicht: (2025)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
von: Bansal, Suguman, et al.
Veröffentlicht: (2025)

On Modular Termination Proofs of General Logic Programs
von: Bossi, Annalisa, et al.
Veröffentlicht: (2000)

Sequence-Based Abstract Interpretation of Prolog
von: Charlier, Baudouin Le, et al.
Veröffentlicht: (2000)

Genericity Through Stratification
von: Arrial, Victor, et al.
Veröffentlicht: (2024)

AdapTT: Functoriality for Dependent Type Casts
von: Adjedj, Arthur, et al.
Veröffentlicht: (2025)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

An Algebraic Approach to Weighted Answer-set Programming
von: Coelho, Francisco, et al.
Veröffentlicht: (2025)

Non-Numerical Weakly Relational Domains
von: Seidl, Helmut, et al.
Veröffentlicht: (2024)

Transport via Partial Galois Connections and Equivalences
von: Kappelmann, Kevin
Veröffentlicht: (2023)

Quantitative Verification with Neural Networks
von: Abate, Alessandro, et al.
Veröffentlicht: (2023)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
von: Wang, Peixin, et al.
Veröffentlicht: (2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
von: Dvir, Yotam, et al.
Veröffentlicht: (2025)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
von: Laurent, Théo, et al.
Veröffentlicht: (2023)

What does it take to certify a conversion checker?
von: Lennon-Bertrand, Meven
Veröffentlicht: (2025)

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
von: Xu, Xiong, et al.
Veröffentlicht: (2025)

Quasi-stratified Order Semantics of Concurrency
von: Koutny, Maciej, et al.
Veröffentlicht: (2024)

Totality for Mixed Inductive and Coinductive Types
von: Hyvernat, Pierre
Veröffentlicht: (2019)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
von: Jagadeesan, Radha
Veröffentlicht: (2024)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

An example of goal-directed, calculational proof
von: Backhouse, Roland, et al.
Veröffentlicht: (2023)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024)

Forall-Exists Relational Verification by Filtering to Forall-Forall
von: Nagasamudram, Ramana, et al.
Veröffentlicht: (2025)