English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Conseils de recherche

Pour soumettre une requête à notre moteur de recherche, il vous suffit d'entrer quelques mots significatifs et d'appuyer sur la touche 'entrée'. Par défaut, les requêtes concernent l'ensemble du site web Caml (caml.inria.fr/), mais le menu déroulant vous permet de restreindre facilement votre recherche à un sous-ensemble spécifique du site, tel que :

Opérateurs Booléens

Vous pouvez utiliser les opérateurs Booléens and, or et not dans les requêtes. En l'absence de ces opérateurs, le moteur de recherche supposera que vous formez la conjonction (and) des mots. La casse n'est pas significative dans les noms d'opérateurs. L'évaluation des expressions Booléennes est faite de gauche à droite, à moins que vous n'utilisiez des parenthèses pour forcer l'ordre d'évaluation. Par exemple

  (word1 or word2) and not word3 

fournit les résultats contenant soit « word1 » mais pas « word3 », soit « word2 » mais pas « word3 ».

Troncature

Un caractère joker (*) est disponible, mais il ne peut être utilisé qu'à la fin d'un mot. Par exemple, la requête

  doc

ne trouve que les entrées qui contiennent le mot « doc », tandis que

  doc*

trouve toutes les entrées contenant un mot commençant par « doc », e.g. « documentation ».

Champs

Il est possible de former des requêtes précises en utilisant les champs des entrées: pour limiter la recherche aux mots trouvés dans un champ spécifique, il suffit de précéder ces mots par le nom du champ, suivi du signe égal . Par exemple,

  author=leroy or weis

trouve toutes les entrées dont le champ author contient « leroy » ou « weis ». Ces requêtes peuvent être combinées en utilisant les opérateurs Booléens :

  (author=leroy or weis) and caml

L'ensemble des champs disponibles dépend de la partie du site explorée :

La bosse Caml author Auteur(s) de la contribution
topic Thème(s) de la contribution
license Licence(s) de la contribution
kind Sorte(s) de la contribution
status État de développement de la contribution
Archives de listes de diffusion author Auteur(s) du message
subject Sujet du message
La librairie d'OCaml ident Identificateur court de l'élément
longident Identificateur qualifié de l'élément
kind Sorte de l'élément (value, exception, type, module ou class)
type Type (pour les valeurs seulement)