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.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
