Esta obra ofrece los conceptos, teorías e historias actualizadas de numerosos lenguajes de programación de alto nivel. Abarca tanto los paradigmas imperativos (Pascal, C, C++, Ada, etc.) como los declarativos (Prolog, LISP, SQL, SETL, etc.), mientras que enfatiza en las bases teóricas de los diferentes tipos de lenguaje.