„Programmsynthese“

Suchergebnisse

81 Treffer

• Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion
  Burghardt, Jochen 1993 Oldenbourg
• Automatische Synthese rekursiver Programme als Beweisverfahren
  Biundo-Stephan, Susanne 1992 Springer
• Pragmatische Programmsynthese
  Neugebauer, Gerd 1992 Infix
• Zur induktiven Programmsynthese im Rahmen der algebraischen Softwarespezifikation
  Lange, Steffen
• Eine Programmierumgebung für verteiltes PEARL – Codeerzeugung mittels Programmsynthese
  Kragl, Gudrun 1986 Inst. für Math. Maschinen u. Datenverarbeitung (Informatik), Friedrich-Alexander-Univ. Erlangen, Nürnberg
• Logic based program synthesis and transformation – 8th international workshop ; selected papers
  Flener, Pierre 1998 Springer
• Functional meta-programs towards reusability in the declarative paradigm
  Lämmel, Ralf 1999 Shaker
• Logic program synthesis and transformation – 7th international workshop ; proceedings
  Fuchs, Norbert E. 1998 Springer
• A theoretical framework for reasoning about program construction based on extensions of rewrite systems
  Loría-Sáenz, Carlos
• Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen
  Bengeloune, Idriss
• Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
  Malik, Robi 1998 Shaker
• Eine Programmierumgebung für verteiltes PEARL – Codeerzeugung mittels Programmsynthese
  Kragl, Gudrun
• Inductive synthesis of functional programs – universal planning, folding of finite programs, and schema abstraction by analogical reasoning
  Schmid, Ute 2003 Springer
• Inductive synthesis of functional programs – universal planning, folding of finite programs, and schema abstraction by analogical reasoning
  Schmid, Ute 2003 Springer
• Programmsynthese aus Beispielsfolgen
  Beierle, Christoph 2022 Saarländische Universitäts- und Landesbibliothek
• Verwendung von Subroutinen in der genetischen Programmierung zur Lösung allgemeiner Problemstellungen
  Drangmeister, Robin ; Bruns, Ralf ; Dunkel, Jürgen 2020 Hochschule Hannover
• Plan generation using a method of deductive program synthesis
  Biundo-Stephan, Susanne 2011 Saarländische Universitäts- und Landesbibliothek
• Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik
  Winkels, Jan ; Rehof, Jakob ; Steffen, Bernhard 2019 Universitätsbibliothek Dortmund
• Programmsynthese allgemein-rekursiver Funktionen mit beschränktem Stabilisierungstakt
  Popova-Zeugmann, Louchka 1982 Hochsch. für Ökonomie Bruno Leuschner
• Algorithmic aspects of type-based program sythesis
  Dudenhefner, Andrej ; Rehof, Jakob ; Urzyczyn, Pawel 2019 Universitätsbibliothek Dortmund