„Coinduction“
Suchergebnisse
1.000+ Treffer
-
Almost Sure Productivity
-
CIRC – A Behavioral Verification Tool Based on Circular Coinduction
-
Java(X): A Type-Based Program Analysis Framework – = Java(X): Ein Typ basiertes Programmanalyse Framework
-
Nondeterministic Asynchronous Dataflow in Isabelle/HOL
-
A Coinductive Representation of Computable Functions
-
Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk)
-
Enhanced Induction in Behavioural Relations (Invited Talk)
-
Strong Induction Is an Up-To Technique
-
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)
-
Amortized Analysis via Coinduction (Early Ideas)
-
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification
-
A Coinductive Version of Milner’s Proof System for Regular Expressions Modulo Bisimilarity
-
Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL
-
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
-
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
-
Flexible Coinduction in Agda
-
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
-
A Big Step from Finite to Infinite Computations (SCICO Journal-first)
-
Sound Regular Corecursion in coFJ
-
First-Order Guarded Coinduction in Coq