In informatica, il WEB è un linguaggio di programmazione creato da Donald Knuth. Il WEB è la prima implementazione del paradigma di programmazione letteraria (literate programming) , ovvero la combinazione di codice sorgente e documentazione in modo da ottenere un risultato che sia leggibile come un lavoro letterario.