Podręcznik ten, opublikowany po raz pierwszy w 1998 roku, jest obszernym, ale rygorystycznym przeglądem teoretycznych podstaw projektowania, definiowania i implementacji języków programowania oraz systemów określania i sprawdzania zachowania programów. Omówiono zarówno programowanie imperatywne, jak i funkcyjne, a także sposoby integracji tych aspektów z bardziej ogólnymi językami. Dostrzegając jedność techniki w różnorodności badań nad językami programowania, autor przedstawia zintegrowane ujęcie podstawowych zasad przedmiotu. Identyfikuje stosunkowo niewielką liczbę pojęć, takich jak semantyka kompozycyjna, struktura wiązania, domeny, systemy przejściowe i reguły wnioskowania, które służą jako podstawa tej dziedziny. Zakładając jedynie podstawową wiedzę z zakresu programowania i matematyki, tekst ten jest idealny dla zaawansowanych studiów licencjackich i początkujących studiów magisterskich z teorii języków programowania, a także spodoba się badaczom i profesjonalistom w projektowaniu lub wdrażaniu języków komputerowych. Język: angielski