Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
functional programs
Geflecteerde vorm van functional program
Vertaling van "functional programs" in Duits
funktionale Programme
funktionaler Programme
Funktionsprogramme
Funktionsprogrammen
With a high-level language, you can quickly prototype your ideas into functional programs.
Mit einer Hochsprache kann man seine Ideen schnell in funktionale Programme umsetzen.
A software developer transforms client requirements into functional programs.
Ein Softwareentwickler setzt Kundenanforderungen in funktionale Programme um.
In this book the authors systematically describe the analysis and transformation of imperative and functional programs.
In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben.
In this thesis we show how the verification of second-order functional programs can be supported by semi-automated theorem provers.
In dieser Dissertation zeigen wir, wie die Verifikation funktionaler Programme zweiter Ordnung durch halb-automatische Theorembeweiser unterstützt werden kann.
Implementation or modification of specific functional programs.
Implementierung oder spezifische Modifizierung der Funktionsprogramme.
With the collaboration of our architectural and medical-technical partners, specific pathway concepts and matching spatial and functional programs were established afterwards.
Gemeinsam mit unseren Architektur- und Medizintechnik-Partnern wurden dann spezielle Wegekonzepte und dazu passende Raum- und Funktionsprogramme erarbeitet.
This is why functional programs are supposed to be a more secure approach to smart contract creation.
Aus diesem Grund sollen funktionale Programme ein sichererer Ansatz zur intelligenten Vertragsgestaltung sein.
of formally specifying requirements for functional programs,
Anforderungen an funktionale Programme formal zu spezifizieren,
Nothing seems to scare developers who are succeeding more and more quickly in offering functional programs.
Nichts scheint Entwickler zu erschrecken, denen es immer schneller gelingt, funktionale Programme anzubieten.
of proving properties of functional programs formally.
Eigenschaften funktionaler Programme formal zu beweisen.
Pure functional programs are free of side effects and implicit time dependencies, so the order in which functions execute doesn't matter.
Rein funktionale Programme haben keine Nebeneffekte und implizite zeitliche Abhängigkeiten, daher ist die Reihenfolge, in der die Funktionen ausgeführt werden, unerheblich.
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.
Synoniemen voor functional programs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 36. Exact: 36. Verstreken tijd: 50 ms.
