ⓘ L'encyclopédieя. Le saviez-vous? page 82

HTML Tidy

HTML Tidy, ou plus simplement Tidy, est un logiciel permettant de corriger et de valider le code HTML dune page web selon les critères émis par le W3C.

HTML5

HTML5 est la dernière révision majeure du HTML. Cette version a été finalisée le 28 octobre 2014. HTML5 spécifie deux syntaxes dun modèle abstrait défini en termes de DOM: HTML5 et XHTML5. Le langage comprend également une couche application avec ...

Vidéo HTML5

Open Video est un élément introduit dans le langage informatique HTML5 dédié aux pages web, qui permet une meilleure incorporation des vidéos dans lInternet par ses navigateurs. Les créateurs de lélément ont lintention den faire la nouvelle norme ...

Microsoft Compressed HTML

Microsoft Compressed HTML, ou Microsoft HTML Help, est un format propriétaire pour les fichiers daide sur internet, développé par Microsoft et publié pour la première fois en 1997 comme étant le successeur du format Microsoft WinHelp. Introduit s ...

Langage formel

En mathématiques, en informatique et en linguistique, la théorie des langages a pour objectif de décrire les langages formels. Un langage formel est un ensemble de mots. Lalphabet dun langage formel est lensemble des symboles, lettres ou lexèmes ...

Feuilles de style en cascade

Les feuilles de style en cascade, généralement appelées CSS de langlais Cascading Style Sheets, forment un langage informatique qui décrit la présentation des documents HTML et XML. Les standards définissant CSS sont publiés par le World Wide Web ...

ABC (langage)

ABC est un langage de programmation impératif au typage fort et supportant le polymorphisme, développé au Centrum voor Wiskunde en Informatica par Leo Geurts, Lambert Meertens, et Steven Pemberton. Il a été conçu pour être le successeur du BASIC, ...

APL (langage)

L APL est un langage de description de traitement de linformation devenu ensuite langage de programmation conçu entre 1957 et 1967 à Harvard par Kenneth Iverson pour décrire commodément des opérations globales sur des tableaux. Iverson décrivait ...

Arc (langage)

En 2001, Paul Graham annonça quil travaillait sur une nouvelle variante de Lisp nommée "Arc". Depuis, il a écrit plusieurs essais décrivant le langage et son but. Certains projets internes de Y Combinator furent écrits en Arc, le plus connu étant ...

Combined Programming Language

CPL était un langage de programmation développé conjointement par le laboratoire de mathématiques de luniversité de Cambridge et lunité dinformatique de luniversité de Londres au cours des années 1960. Cette collaboration est à lorigine du mot Co ...

Clarion (langage)

Clarion est un langage de quatrième génération et un environnement de développement intégré propriétaire développé par Softvelocity, facilitant le développement dapplications de gestion. La dernière version de Clarion est la 11.0

Cobra (langage)

Cobra est un langage dusage général, orienté objet. Cobra a été conçu par Charles Esterbrook et fonctionne sur les plateformes Microsoft.NET et Mono. Il a été fortement influencé par Python, C#, Eiffel, Objective-C et dautres langages de programm ...

Curl (langage)

Curl est un langage de programmation. Ce langage tente de remédier à un problème connu de longue date: les éléments de base qui composent chaque document web moderne requièrent le plus souvent des méthodes de mise en oeuvre très différentes: des ...

D (langage)

Le D est un langage de programmation impératif orienté objet et multi-paradigmes conçu pour la programmation système. Il s’inspire de nombreux langages, dont C++, Java avec lequel il partage la notion de "ramasse-miettes" et d’héritage simple, Ei ...

Dylan (langage)

Dylan est un langage de programmation dynamique, réflexif, orienté objet et fonctionnel. Il propose un modèle de programmation axé vers une génération efficace de code machine. Il a été créé au début des années 1990 par un groupe conduit par Appl ...

Elixir (langage)

Elixir est un langage de programmation multi-paradigme fonctionnant sur la machine virtuelle Erlang. Il est créé en 2011 par le développeur José Valim, personnalité du monde Ruby et lun des premiers contributeurs au framework de programmation Rub ...

Elm (langage)

Elm est un langage de programmation fonctionnel qui permet de créer des interfaces graphiques pour le web ainsi que des jeux. Il compile le code en JavaScript.

Factor

Factor est un langage de programmation dynamique concaténatif, dont la conception et limplémentation sont coordonnées par Slava Pestov. Les principales influences de Factor sont Joy, Forth, Lisp et Self. Comme les autres langages concaténatifs, F ...

Hack (langage)

Hack est un langage de programmation impératif créé par Facebook et proche du langage PHP dont il se distingue par un typage statique ainsi que dautres éléments empruntés à divers langages. Un programme écrit en Hack séxécute au sein dune machine ...

ICON

Icon est associé à un langage de programmation de haut niveau découlant des langages SNOBOL-4, CLU et C. Cest un langage impératif et procédural, dont la syntaxe ressemble aux langages C et Pascal.

J (langage)

Le langage J est un langage de programmation fonctionnelle développé par Kenneth Iverson et Roger Hui en 1990. Il est présenté comme lun des successeurs du langage APL dont il fait la synthèse et en reprend la philosophie avec une influence notoi ...

Joy (langage)

Joy est un langage de programmation purement fonctionnel et orienté pile conçu par Manfred von Thun de lUniversité de La Trobe à Melbourne. Il possède de nombreux points communs avec son ancêtre Forth. Dans cette catégorie de langages, il se déma ...

Julia (langage)

Julia est un langage de programmation de haut niveau, performant et dynamique pour le calcul scientifique, avec une syntaxe familière aux utilisateurs dautres environnements de développement similaires. Il fournit un compilateur sophistiqué, un s ...

Magik (langage)

Magik est un langage de Programmation orientée objet qui supporte lhéritage multiple, le polymorphisme et le typage dynamique. il a été défini et implémenté en 1989 par Arthur Chance, de Smallworld Systems Ltd, dans le cadre du système dinformati ...

Mercury (langage)

Mercury est un langage de programmation fonctionnel et surtout logique, développé à lUniversité de Melbourne, Australie. Mercury est déclaratif. Il a été inspiré par Prolog et, dans une moindre mesure, Haskell pour la partie fonctionnelle. Mercur ...

Oz (langage)

Oz est un langage de programmation permettant demployer et de combiner différents paradigmes de programmation: distribution. procédural et objets, relationnel et logique, fonctionnel, contraintes, concurrence massive, Oz fournit par défaut des va ...

R (langage)

R est un langage de programmation et un logiciel libre destiné aux statistiques et à la science des données soutenu par la R Foundation for Statistical Computing. R fait partie de la liste des paquets GNU et est écrit en C, Fortran et R. GNU R es ...

Générateur automatique de programmes

Le générateur automatique de programmes est un langage de programmation destiné à la gestion. Ce langage paraît sous ce nom sur les systèmes 3 dIBM ancêtres de lAS/400 ; existait sous le nom de RPG Report Program Generator dans les systèmes plus ...

Racket (langage)

Racket est un langage de programmation de la famille Lisp. Il fait partie du projet Racket, qui regroupe plusieurs variantes du langage Scheme ainsi quune série doutils pour les utiliser. Lun de ses objectifs est de servir de plate-forme pour la ...

Langage de programmation Red

Red est un langage de programmation impératif et fonctionnel créé en 2011 par Nenad Rakocevic. Il est distribué en tant que logiciel libre selon les termes de la licence BSD modifiée avec un interpréteur Juste-à-temps, les deux étant respectiveme ...

Rust (langage)

Rust est un langage de programmation compilé multi-paradigme conçu et développé par Mozilla Research. Il a été conçu pour être "un langage sécurisé, concurrent, pratique", supportant les styles de programmation purement fonctionnel, modèle dacteu ...

S (langage)

S est un langage de programmation de très haut niveau et un environnement danalyse des données et des graphiques conçu dans les années 1975-1976 par John Chambers. En 1998, lACM offre son prix dexcellence logicielle à John Chambers pour "le systè ...

Scala (langage)

Scala est un langage de programmation multi-paradigme conçu à lÉcole polytechnique fédérale de Lausanne pour exprimer les modèles de programmation courants dans une forme concise et élégante. Son nom vient de langlais Scalable language qui signif ...

Shakespeare Programming Language

Le Shakespeare Programming Language ou SPL est un langage de programmation créé par Karl Hasselström et Jon Åslund en février 2001. Le code source des programmes écrits en SPL ressemble à une pièce de théâtre. Il est inspiré de langages comme le ...

Snap! (langage)

Snap! est un langage de programmation graphique et multisystème, conçu pour lapprentissage de linformatique et des mathématiques auprès délèves et de débutants. En imbriquant et en associant des blocs dinstructions élémentaires paramétrés, les ét ...

X10 (langage)

X10 est un langage de programmation en cours de développement par IBM au centre de recherche Thomas J. Watson financé par le projet High Productivity Computing Systems de la DARPA. Les auteurs principaux sont Kemal Ebcioğlu, Vijay Saraswat, and V ...

XL (langage)

XL, dont les lettres proviennent de e X tensible L anguage, est un langage de programmation, basé sur la programmation par concepts, développé depuis 2000 par Christophe de Dinechin. XL offre la possibilité de modifier et programmer la syntaxe et ...

Ada (langage)

Ada est un langage de programmation conçu par l’équipe de CII-Honeywell Bull dirigée par Jean Ichbiah en réponse à un cahier des charges établi par le département de la Défense des États-Unis DoD. Son développement a commencé au début des années ...

B (langage)

Le langage de programmation B est un langage obsolète qui a représenté la transition entre BCPL et le langage C. Cest principalement loeuvre de Ken Thompson et il apparut pour la première fois en 1969 environ.

Logo (langage)

Logo est à la fois une Philosophie de léducation et une famille de Langages de programmation en constante évolution qui aident à la mettre en pratique. Le projet est né à la fin des années soixante de la rencontre entre le courant cognitiviste en ...

Prolog

Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972 à Luminy, Marseille. Le but était de créer un langage de programmation où ...

Scratch (langage)

Scratch est un langage de programmation graphique manipulable et exécutable par le logiciel de même nom à vocation éducative. Ainsi, Scratch est à la fois un environnement de développement et un moteur d’exécution du langage Scratch mais aussi un ...

Forth (langage)

Forth est un langage de programmation à pile, inventé par Charles H. Moore dans les années 1960. Il a été standardisé par lANSI en 1994, puis adopté tel quel par lISO en 1997 et une nouvelle version, Forth 2012, a été publiée en 2014.

Inferno (système dexploitation)

Inferno est un système dexploitation distribué pour le réseau créé initialement vers 1995 par Rob Pike, Phil Winterbottom et Sean Dorward chez Bell Labs, aujourdhui maintenu par la société britannique Vita Nuova. Inferno est un système dexploitat ...

Midori (système dexploitation)

Midori sera probablement très différent des systèmes Windows actuels. Il devrait s’appuyer sur l’approche de Singularity, autre projet développé par Microsoft Research en code managé. Toutefois, Microsoft souhaite faire en sorte que les applicati ...

Amoeba (système dexploitation)

Amoeba est un système dexploitation distribué développé par Andrew Tanenbaum avec dautres personnes à luniversité libre dAmsterdam. Le projet Amoeba avait pour objectif de mettre en place un système de partage de temps faisant en sorte que tout u ...

Free and no ads
no need to download or install

Pino - logical board game which is based on tactics and strategy. In general this is a remix of chess, checkers and corners. The game develops imagination, concentration, teaches how to solve tasks, plan their own actions and of course to think logically. It does not matter how much pieces you have, the main thing is how they are placement!

online intellectual game →