Recherche

Voici les résultats de votre recherche. Si vous n'avez pas trouvé ce que vous cherchiez, vous pouvez créer ou modifier la page correspondante à votre requête en cliquant sur le bouton approprié.

Résultats


III. Traduction dirigée par le syntaxe: 17 Occurrences trouvées
ration de variables est un mot-clef signifiant un type suivi d'une liste d'identificateurs. On souhaite... à T un attribut synthétique dont la valeur est le type correspondant à T. * On associe à L un attribut hérité dont la valeur est le type des identificateurs de la liste L. * On associe à ''id'' un att... ficateur ''id''. On définit une fonction ''ajout-type(p,t)'' qui accède à la table de symboles et mémor
Compte Rendu: 10 Occurrences trouvées
m2); -->imshow counts !--error 10000 Data type string is not supported. at line 22 of fun... .001);-->imshow counts !--error 10000 Data type string is not supported. at line 22 of fun... o an image Calling Sequence imn = imnoise(im, type [,parameters]) Parameters im Input image. type String having one of these values: 'salt & pepper' drop-out/On-off noise 'speckle'
Génération de code intermédiaire: 9 Occurrences trouvées
Traduction de affectations ==== === Opérands de type entier === Pour les variables (et constantes) de type entier, leur entrée dans la table des symbole doit comprendre un pointeur vers l'emplacement d... mantique des types. Pour cela, nous regarderons E.type (ou E->type) pour connaitre le type de l'expression E. id := E { if (id->type == E->type) then gencode (':=', id->ptr, E->ptr)
Interactions controller-model: 8 Occurrences trouvées
== ==== Radio buttons ==== Utiliser ''<INPUT type=radio name="taskChoice" value="0" CHECKED>'' planqué (ligne "aucune"?) ''<INPUT type=radio name="taskChoice" value="'.$id$.'" >'' pour chaque ligne <INPUT type=submit name="chercher" value="chercher"> <INPUT type= In the following example fro... od of payment:</P> <P><LABEL ACCESSKEY=C><INPUT TYPE=radio NAME="payment_method" VALUE="credit card" C
L'égalité en Coq: 6 Occurrences trouvées
alité en Coq ===== Check eq. eq : forall A : Type, A -> A -> Prop Check refl_equal. refl_equal : forall (A : Type) (x : A), x = x C'est un type polymorphe (A:Type). Cela signifie que l'on a une ... égalité générique dont le premier argument est le type des éléments à comparer. L'égalité est une relat... bniz ==== Check eq_ind. eq_ind : forall (A : Type) (x : A) (P : A -> Prop), P x -> forall y : A,
Oracle-based Lattice Construction: 5 Occurrences trouvées
XML, on pourrait utiliser soit un un format de ce type (avec une ligne par attribut dans un bloc par obj... y a-t-il un format "standard" pour des données de type histogramme? * AB : Jusqu'ici une lettre po... ile? * FLB : pour le moment on se limite à un type, quitte à intégrer des attributs de type binaire ... * AB : On peut, ou alors si y a une sortie de type csv, on fera le tri de ce qu'on veut garder dans
Les sortes: 5 Occurrences trouvées
===== Les sortes ===== Une sorte est un type pour les types. Les propositions A, B, etc. sont des type... x de leurs termes de preuves). Ces types sont de type ''Prop''. On dit que A, B, etc. sont de sorte ''P... ool'', les entiers ''nat'' sont des types dont le type est ''Set''. ''Set'' et ''Prop'' sont de type ''Type''. * ''Set'' là où l'on calcule * ''Prop'' là où l'on raisonne [[preuves_4#apartes|]]
Spécification Algébrique: 3 Occurrences trouvées
l'exemple d'une signature en vue de spécifier le type des piles, en utilisant une notation CafeOBT-like... </sub>'' une opération notée ''f<sub>A</sub>'' de type noté <jsm>f_A : S_{1_A}\times S_{2_A}\times\ldots... insi de définir la structure caractéristique d'un type de données. Il y a de nombreuses Σ-algèbres poss
Les projets SI: 3 Occurrences trouvées
selon l'expérience du fournisseur, * dans ce type de produit, * dans ce type d'industrie, ... e. Cet audit peut être initial ou répété selon le type de maintenance choisi. Il est donc important d'
Sémantique d'une Spécification: 3 Occurrences trouvées
i ces Σ-algèbre certaines ne correspondent pas au type que l'on souhaite spécifier. Par exemple, dans l... ncorrecte dans ce que nous voulions spécifier, le type des entier naturels. Les axiomes permettent de p... e idée précise de la structure caractéristique du type spécifié mais seulement de démontrer des théorème
Fondements de la programmation: 3 Occurrences trouvées
e construire le tableau et renvoie à la notion de type (quel est le type de ''t''?) et de constructeur (comment sont construites les valeurs de ce type?). Supposons qu'un tableau est soit un seul élément
Ratpoison Window Manager: 3 Occurrences trouvées
c=gnome-session TryExec=gnome-session Icon= Type=Application X-Ubuntu-Gettext-Domain=gnome-sessi... e/xsessions/ratpoison.desktop [Desktop Entry] Type=Application Version=1.3.3.7 Encoding=UTF-8 ... as your window manager Exec=ratpoison Icon= Type=Application ==== starting ==== As per instructi
Currification: 3 Occurrences trouvées
===== Currification ===== ==== Exercice ==== Montrer que la formule suivante est valide / prouvable : (A -> (B -> C)) <-> (A ∧ B -> C) Remarque: -> est associatif à droite, on aurait pu écrire: (A -> B -> C) $<->(A ∧ B -> C) ?? currification ::La curry cation consiste à transformer une fonction qui prend plusieurs arguments en une fonction qui prend un seul argument et qui retourne une fonction qui prend en arguments les arguments restants. !! ^ Pourquoi utiliser la curry cation ? | Afi n de pouvoir réaliser des applications partielles plus facilement. | Remarque: cette opération porte le nom de Haskell Curry (1900-1982). === Exemple === En Caml Au lieu d'écrire: # let f(x,y) = x + y;; val f : int * int -> int = <fun> On écrit: # let f x = fun y -> x + y;; val f : int -> int -> int = <fun> ou bien # let f x y = x + y;; val f : int -> int -> int = <fun> === Exemple === En Coq On utilise la curry cation quand on écrit des fonctions ou des théorèmes. On écrira plutôt: Lemma toto: forall p q : R, p > 0 -> q > 0 -> p*q > 0. que: Lemma toto: forall p q : R, p > 0 /\ q > 0 -> p*q > 0. ==== curry & unCurry ==== Comment faire "curry" et "uncurry"? let curry f (A*B->C) = function x -> function y -> f(x,y) let uncurry f(A->B->C) = function(x,y)-> f x y Lien avec les preuves : Lemma curry_prop : forall A B C : Type, (A*B -> C) -> A -> B -> C. Proof. intros A B C f x y apply f. split. apply x. apply y. Defined. Print curry_prop. curry_prop = fun (A B C:Type) (f:A*B->C) (x:A)(y:B)=>f(x,y) : forall A B C:Type, (A * B -> C) -> A -> B -> C
Introduction: 2 Occurrences trouvées
les informations associées à ces identificateurs (type, portée, ...) Une table de symboles : une struct... axe abstraite par des opérations de conversion de type). AFF / \ ID PLUS
JSM Markup Button: 2 Occurrences trouvées
Structures de données: 2 Occurrences trouvées
Rappels Coq: 2 Occurrences trouvées
Analyse Lexicale: 2 Occurrences trouvées
Applications: 2 Occurrences trouvées
charset: 2 Occurrences trouvées
Shoes: 2 Occurrences trouvées
Ingénierie de la preuve: 1 Occurrences trouvées
QuadDble: 1 Occurrences trouvées
emacs 25.0.92 pour Windows 64: 1 Occurrences trouvées
Réunion du 20 décembre 2010: 1 Occurrences trouvées
Fonctions numériques: 1 Occurrences trouvées
Création de Types: 1 Occurrences trouvées
Shoes of the Boot Type: 1 Occurrences trouvées
QuadAleas: 1 Occurrences trouvées
How to Write a World Class Paper: 1 Occurrences trouvées
nanoweb installation in Ubuntu 10.10: 1 Occurrences trouvées
Transactions: 1 Occurrences trouvées
Suivi de Progrès: 1 Occurrences trouvées
TPMovie (Projet): 1 Occurrences trouvées
JSMath Debug: 1 Occurrences trouvées
V. Gestion de la table des symboles: 1 Occurrences trouvées
Optimisation de Code: 1 Occurrences trouvées
Réseaux de Neurones: 1 Occurrences trouvées
Frozen spinach with potatoes: 1 Occurrences trouvées
Analyse Syntaxique: 1 Occurrences trouvées
Adjacence des Composantes Connexes: 1 Occurrences trouvées
Choisir l'algorithme: 1 Occurrences trouvées
Color Contrast: 1 Occurrences trouvées
Easea: 1 Occurrences trouvées
Tondeuse Robotique: 1 Occurrences trouvées
Sémantique des Programmes Récursifs: 1 Occurrences trouvées
TD2 Remplissage: 1 Occurrences trouvées
LaTeX Math Symbols: 1 Occurrences trouvées
Hopping John: 1 Occurrences trouvées
Arbres de Décision: 1 Occurrences trouvées
UML C-S: 1 Occurrences trouvées