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.
Own functional programs could be stored away in a function language (text editor) direct on the LCD module.
Eigene Funktionsprogramme können in einer beschreibenden Funktionssprache (Text-Editor) oder als Binärprogramm direkt auf der FLASH-HDD des TFT-Farb-Moduls abgespeichert werden.
Functional Programs also tend to be heavily List oriented.
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.
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 formally specifying requirements for functional programs,
Anforderungen an funktionale Programme formal zu spezifizieren,
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.
of proving properties of functional programs formally.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.