„Fixpoint Algorithms“

Suchergebnisse

3 Treffer

• Towards Incremental and Modular Context-Sensitive Analysis
  Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fixpoint transformations and parallel asynchronous iterative algorithms
  Wei, Jiawang 1994 Oldenbourg
• Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
  Banerjee, Tamajit ; Majumdar, Rupak ; Mallik, Kaushik ; Schmuck, Anne-Kathrin ; Soudjani, Sadegh