Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
funktionaler Programme
Vertaling van "funktionaler Programme" in Engels
functional programs
In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben.
In this book the authors systematically describe the analysis and transformation of imperative and functional programs.
In dieser Dissertation zeigen wir, wie die Verifikation funktionaler Programme zweiter Ordnung durch halb-automatische Theorembeweiser unterstützt werden kann.
In this thesis we show how the verification of second-order functional programs can be supported by semi-automated theorem provers.
Eigenschaften funktionaler Programme formal zu beweisen.
of proving properties of functional programs formally.
Hierbei wird auch auf Verfahren zur Typüberprüfung und -inferenz sowie auf Techniken zur Optimierung funktionaler Programme eingegangen.
This also includes techniques for type checking and type inference as well as methods for the optimization of functional programs.
Anschließend wird ein neuer Algorithmus zur induktiven Synthese funktionaler Programme beschrieben, der den analytischen Ansatz generalisiert und mit Suche in einem Programmraum kombiniert.
Then we present a new algorithm to the inductive synthesis of functional programs that generalizes the analytical approach and combines it with search in a program space.
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.
Klassische Methoden der induktiven Synthese funktionaler Programme sind analytisch; eine rekursive Funktionsdefinition wird generiert, indem rekurrente Strukturen zwischen den einzelnen E/A-Beispielen gefunden und generalisiert werden.
Classical methods for induction of functional programs are analytical, that is, a recursive function definition is derived by detecting and generalizing recurrent patterns between the given I/O examples.
Ziel des Vorhabens ist die Weiterentwicklung von klassischen (Summers-artigen) Verfahren zur analytischen, beispielgetriebenen Synthese funktionaler Programme.
Goal of this proposal is the advancement of classical (Summers like) approaches for example-driven, analytical synthesis of functional programs.
Zugangsvoraussetzungen: keine Qualifikationsziele: Die Studentinnen und Studenten sind in der Lage, elementare Algorithmen funktional zu entwerfen, Anforderungen an funktionale Programme formal zu spezifizieren, gut strukturierte funktionale Programme zu entwickeln, funktionale Programme hinsichtlich ihres Aufwandes zu untersuchen und Eigenschaften funktionaler Programme formal zu beweisen.
Admission requirements: none Qualification objectives: The students are able to functionally design elementary algorithms, to formally specify demands on functional programs, to develop well-structured functional programs, to examine the complexity of functional programs and to formally prove the properties of functional programs.
Hierbei handelt es sich um einen Kalkül für Gleichheitsbeweise, welche typischerweise bei der Verifikation funktionaler Programme auftreten.
The a-calculus is a logical calculus for solving equational problems, which typically occur during the verification of a functional program.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor funktionaler Programme in het Duits
Resultaten: 10. Exact: 10. Verstreken tijd: 22 ms.
