The central nave is dedicated to communal spaces, the parallel naves to functional programs.
La nef centrale est dédiée aux espaces communautaires, les nefs parallèles aux programmes fonctionnels.
We believe that this result is relevant for the analysis of functional programs with linear arithmetics.
Nous pensons que ce résultat est intéressant pour l'analyse de programmes fonctionnels avec arithmétiques linéaires.
It manages ten regional centers and functional programs related to international security and global economic prosperity.
Il gère dix centres régionaux et des programmes fonctionnels liés à la sécurité internationale et la prospérité économique mondiale.
An important tool in the functional programs was tool box, because they enable
Un outil important dans les programmes fonctionnels a été la boîte à outils, car ils permettent
For equational proofs of functional programs.
pour les preuves équationnelles sur programmes fonctionnels.
The goal of this project is to formalize a similar reasoning for functional programs where functions are equipped with invariants describing the expected behavior.
Le but de ce projet est de formaliser un raisonnement similaire pour des programmes fonctionnels, où les fonctions sont équipées d'invariant décrivant leur comportement attendu.
This room presents a series of radical renovations projects, where new functional programs were placed below existing buildings and covered under glass canopies.
Celle salle présente une série de rénovations radicales de projets, dans lesquels de nouveaux programmes fonctionnels ont été placés en dessous de bâtiments existants et couverts sous des canopées de verre.
The data processors also are capable of storing multiple files and multiple functional programs.
Les processeurs de données sont également capables de stocker de multiples fichiers et de multiples programmes fonctionnels.
This interpretation establishes a way to translate functional programs into a very simple form of logic programs.
Cette interprétation établit une traduction des programmes fonctionnels vers une forme très simple de programmes logiques.
In the context of functional programs, the final step in a terminating sequence returns the value of the program.
Dans le cas d'un programme fonctionnel, l'état final d'une suite qui termine donne la valeur de retour du programme.
The student is introduced to the professional practice of design by being set conceptual projects and being asked to report on functional programs with different formal, constructive components.
L'étudiant est initié à la pratique professionnelle de design par la mise en rapport de programmes fonctionnels avec les différentes composantes formelles, constructives, conceptuelles du projet.
strong systems of management, auditing, review and revision well-established functional programs
de solides systèmes de gestion, de vérification, d'examen et de révision, en plus de programmes fonctionnels et bien établis
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.