In der induktiven Programmsynthese werden rekursive Programme durch das Generalisieren über unvollständige Spezifikationen, wie zum Beispiel endliche Mengen von Eingabe/Ausgabe Beispielen (E/A-Beispielen), generiert.
In inductive program synthesis, recursive programs are constructed by generalizing over incomplete specifications such as finite sets of input/output examples (I/O examples).
Und so kann man rekursive Programme mit ToonTalk erzeugen.
Es wird anhand mehrerer Beispiele aufgezeigt, wie das so entstandene System benutzt werden kann, um Eigenschaften von Programmen mit rekursiven Prozeduren zu verifizieren.
It is shown how the resulting system can be used to verify properties of algorithms with recursive procedures by means of several examples.
Emanuel Kitzelmann Diese Arbeit befasst sich mit der induktiven Synthese rekursiver deklarativer Programme und speziell mit der analytischen induktiven Synthese funktionaler Programme.
This thesis is concerned with the inductive synthesis of recursive declarative programs and in particular with the analytical inductive synthesis of functional programs.
Pushdown-Systeme sind (vereinfacht gesagt) Transitionssysteme, deren Zustände einen Keller unbegrenzter Länge beinhalten; es besteht eine natürliche Beziehung zwischen diesen Systemen und Programmen mit rekursiven Prozeduren.
Pushdown systems are, roughly speaking, transition systems whose states include a stack of unbounded length; there is a natural correspondence between them and the execution sequences of programs with (possibly recursive) subroutines.
Diese indirekten rekursiven Aufrufe erschweren die Beweisführung über Programme höherer Ordnung.
These indirect recursive calls make reasoning about higher-order programs difficult.
Das Programm prüft auf rekursives Einbinden und zeigt eine Fehlermeldung an, sollte dies passieren.
Durch rekursive Verwendung kann diese Verwundbarkeit benutzt werden, um kritische Systemdateien und -programme zu überschreiben.
When used recursively, this vulnerability could be used to overwrite critical system files and programs.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
