WEB est un langage de programmation informatique dérivé de Pascal créé par Donald E. Knuth et notamment utilisé pour coder TeX et Metafont. C'est une des premières implémentations de ce que Knuth appelle « programmation littéraire », dans lequel un texte descriptif est écrit et comprend le code informatique plutôt que l’inverse (habituellement le code contient le texte descriptif), de manière à être plus pratique à lire au lieu d’être organisé selon l’ordre requis par le compilateur. (fr)