Gallina

Gallina est le langage uniforme de description mathématique utilisé par Coq.

Utilise IA

Table des matières

1. 7 relations: Coq (logiciel), ML (langage), Poule, Purement fonctionnel, Typage fort, Typage statique, Type récursif.

Coq (logiciel)

Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).

Voir Gallina et Coq (logiciel)

ML (langage)

ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.

Voir Gallina et ML (langage)

Poule

Le mot poule est en français un nom vernaculaire ambigu.

Voir Gallina et Poule

Purement fonctionnel

En informatique, l'adjectif purement fonctionnel désigne un algorithme, une structure de données ou un langage de programmation qui exclut les modifications destructives.

Voir Gallina et Purement fonctionnel

Typage fort

En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées.

Voir Gallina et Typage fort

Typage statique

Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec lOption Explicit) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable; et dans certains langages de programmation fonctionnels (ML, OCaml, Haskell, PureScript, etc.) pour associer à une fonction (un calcul) le type de son paramètre et le type de la valeur calculée.

Voir Gallina et Typage statique

Type récursif

En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive.

Voir Gallina et Type récursif

Unionpédia est une carte conceptuelle ou réseau sémantique organisée comme une encyclopédie ou un dictionnaire. Il donne une brève définition de chaque concept et de ses relations.

Ceci est une carte mentale en ligne géant qui sert de base pour les schémas conceptuels. Il est libre d'utiliser et de chaque article ou document peut être téléchargé. Il est un outil, ressources ou de référence pour l'étude, la recherche, l'éducation, l'apprentissage ou de l'enseignement, qui peut être utilisé par les enseignants, les éducateurs, les élèves ou étudiants; pour le monde universitaire: à l'école, primaire, secondaire, l'école secondaire, au milieu, un collège, diplôme technique, collégial, universitaire, baccalauréat, de maîtrise ou de doctorat; pour les papiers, des rapports, des projets, des idées, de la documentation, des enquêtes, des résumés, ou une thèse. Voici la définition, l'explication, la description ou la signification de chaque importantes sur lesquelles vous avez besoin d'informations, et une liste de leurs concepts connexes comme un glossaire. Disponible en français, anglais, espagnol, portugais, japonais, chinois, allemand, italien, polonais, néerlandais, russe, arabe, hindi, suédois, ukrainien, hongrois, catalan, tchèque, hébreu, danois, finlandais, indonésien, norvégien, roumain, turc, vietnamien, coréen, thaïlandais, grec, bulgare, croate, slovaque, lituanien, philippin, letton, estonien et slovène. Plus de langues bientôt.

Les informations sont basées sur des articles de Wikipedia et d'autres projets Wikimedia, et elles sont disponibles sous la Licence Creative Commons Attribution-Partage dans les Mêmes Conditions.

Unionpédia n'est ni approuvée ni affiliée à la Wikimedia Foundation.

Google Play, Android et le logo Google Play sont des marques de Google Inc.

Politique de confidentialité