„coinduction“

Suchergebnisse

1.000+ Treffer

• Almost Sure Productivity
  Aguirre, Alejandro ; Barthe, Gilles ; Hsu, Justin ; Silva, Alexandra 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CIRC – A Behavioral Verification Tool Based on Circular Coinduction
  Lucanu, Dorel ; Goriac, Eugen-Ioan ; Caltais, Georgiana ; Roşu, Grigore 2009 KOPS Universität Konstanz
• Java(X): A Type-Based Program Analysis Framework – = Java(X): Ein Typ basiertes Programmanalyse Framework
  Degen, Markus ; Thiemann, Peter 2011 Universität
• Nondeterministic Asynchronous Dataflow in Isabelle/HOL
  Silva, Rafael Castro Gonçalves ; Fernet, Laouen ; Traytel, Dmitriy 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Coinductive Representation of Computable Functions
  Tang, Alvin ; Pattinson, Dirk 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk)
  Bonchi, Filippo ; Di Lavore, Elena ; Román, Mario 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enhanced Induction in Behavioural Relations (Invited Talk)
  Sangiorgi, Davide 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Induction Is an Up-To Technique
  Bonchi, Filippo ; Di Lavore, Elena ; Ricci, Anna 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)
  Silver, Lucas ; Westbrook, Eddy ; Yacavone, Matthew ; Scott, Ryan
• Amortized Analysis via Coinduction (Early Ideas)
  Grodin, Harrison ; Harper, Robert 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification
  Silver, Lucas ; Westbrook, Eddy ; Yacavone, Matthew ; Scott, Ryan 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Coinductive Version of Milner’s Proof System for Regular Expressions Modulo Bisimilarity
  Grabmayer, Clemens 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL
  Foster, Simon ; Hur, Chung-Kil ; Woodcock, Jim 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
  Schmid, Todd ; Kappé, Tobias ; Kozen, Dexter ; Silva, Alexandra 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
  Ciccone, Luca ; Padovani, Luca 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Flexible Coinduction in Agda
  Ciccone, Luca ; Dagnino, Francesco ; Zucca, Elena 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic
  Espírito Santo, José ; Matthes, Ralph ; Pinto, Luís 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Big Step from Finite to Infinite Computations (SCICO Journal-first)
  Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan ; Zucca, Elena 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sound Regular Corecursion in coFJ
  Ancona, Davide ; Barbieri, Pietro ; Dagnino, Francesco ; Zucca, Elena 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• First-Order Guarded Coinduction in Coq
  Czajka, Łukasz 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik