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.
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.
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.