Résumé en anglais This thesis presents advances in the use of Canonical Structures, a programming language construct of the Coq proof assistant equivalent to the notion of type classes.
Cette thèse présente des avancées dans l'utilisation des Structures Canoniques, un mécanisme du langage de programmation de l'assistant de preuve Coq, équivalent à la notion de classes de types.
Most of the differences become apparent when you use nonstandard extensions such as calls to the DOS BIOS when using MS-DOS, but even these differences can be minimized by careful choice of programming constructs.
La plupart des différences deviennent évidentes quand vous employez des prolongements non standard tels que des appels au BIOS de DOS quand en utilisant le MS-DOS, mais même ces différences peuvent être réduites au minimum par le choix soigneux des constructions de programmation.
It uses a multi-paradigm approach, meaning it supports procedural, object-oriented, and some functional programming constructs.
Il possède une approche multi-paradigme et supporte donc des formes de programmation procédurale, orientée objet et fonctionnelle.
UModel is a fast, effective tool for graphically modeling object-oriented programming constructs.
UModel est un outil rapide et efficace pour modéliser graphiquement des structures de programmation orientées sur des objets
The framework uses simple template-based test scripts which are easy to write and does not involve complex programming constructs.
Le cadre d'applications utilise des scénarios simples d'essai à gabarits faciles à écrire et n'impliquant pas de constructions de programmation complexes.
AWS Flow Framework abstracts the details of task-level coordination with familiar programming constructs.
AWS Flow Framework fait abstraction des détails relatifs à la coordination par tâche par l'utilisation de structures de programmation conviviales.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.