„Programmsynthese“

Suchergebnisse

1.000+ Treffer

• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Reasoning about software security via synthesized behavioral substitutes
  Blazytko, Tim ; Holz, Thorsten ; Rieck, Konrad 2020 Ruhr-Universität Bochum
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
  Schmitt, Jonas ; Köstler, Harald ; Machado, Penousal ; Fey, Dietmar 2024 FAU University Press
• Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
  Weigelt, Sebastian ; Tichy, W. F. 2022 KIT Scientific Publishing
• Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
  Weigelt, Sebastian ; Tichy, W. F. 2021 KIT-Bibliothek
• Detecting Unrealizable Bit Vector Program Synthesis Problems
  Kamp, Marius ; Philippsen, Michael ; Keszöcze, Oliver 2024 FAU University Press
• Automatische Synthese rekursiver Programme als Beweisverfahren
  Biundo-Stephan, Susanne 1992 Springer Berlin Heidelberg
• Schema-guided inductive functional programming through automatic detection of type morphisms
  Hofmann, Martin
• Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
  Weigelt, Sebastian 2022 KIT Scientific Publishing
• Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen
  Bengeloune, Idriss
• Logic Based Program Synthesis and Transformation – 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
  Leuschel, Michael 2003 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
  Vidal, Germán 2012 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
  Bossi, Annalisa 2000 Springer Berlin Heidelberg
• Logic Based Program Synthesis and Transformation – 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
  Hanus, Michael 2004 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
  De Schreye, Danny 2010 Springer Berlin Heidelberg
• Approaches and Applications of Inductive Programming – Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
  Schmid, Ute 2010 Springer Berlin Heidelberg
• Logic based program synthesis and transformation – 18th international symposium ; revised selected papers
  Hanus, Michael 2009 Springer
• Logic based program synthesis and transformation – 17th international symposium ; revised selected papers
  King, Andrew Malcolm 2008 Springer