Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of functional programs
Vertaling van "of functional programs" in Duits
funktionaler Programme
of proving properties of functional programs formally.
Eigenschaften funktionaler Programme formal zu beweisen.
This also includes techniques for type checking and type inference as well as methods for the optimization of functional programs.
Hierbei wird auch auf Verfahren zur Typüberprüfung und -inferenz sowie auf Techniken zur Optimierung funktionaler Programme eingegangen.
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.
Anschließend wird ein neuer Algorithmus zur induktiven Synthese funktionaler Programme beschrieben, der den analytischen Ansatz generalisiert und mit Suche in einem Programmraum kombiniert.
This thesis is concerned with the inductive synthesis of recursive declarative programs and in particular with the analytical inductive synthesis of functional programs.
Emanuel Kitzelmann Diese Arbeit befasst sich mit der induktiven Synthese rekursiver deklarativer Programme und speziell mit der analytischen induktiven Synthese funktionaler Programme.
According to the invention, a load interface is initially installed in the data carrier, which allows for reloading of load applications which in turn enable loading of functional programs.
Verfahrensgemäss wird dabei auf dem Datenträger zunächst eine Laderschnittstelle installiert, welche das Nachladen von Ladeapplikationen gestattet, die ihrerseits das Laden von Funktionsprogrammen ermöglichen.
To comply with that also during the creation of software we offer the development of functional programs called prototypes, where quick response is preferred over an elaborate user interface.
Um dieser Forderungen auch bei der Erstellung von Software nachzukommen, bieten wir die Entwicklung von funktionellen Programmen (sogenannten Prototypen) an, wo wir zügige Ergebnisse einem aufwendigen User-Interface vorziehen.
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.
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.
KIEL - A computer program for visualizing the execution of functional programs.
KIEL-Ein Computerprogramm zur Visualisierung der Auswertung von funktionalen Programmen.
Goal of this proposal is the advancement of classical (Summers like) approaches for example-driven, analytical synthesis of functional programs.
Ziel des Vorhabens ist die Weiterentwicklung von klassischen (Summers-artigen) Verfahren zur analytischen, beispielgetriebenen Synthese funktionaler Programme.
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.
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.
Synoniemen voor of functional programs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 262 ms.
