Dit leerboek, dat voor het eerst werd gepubliceerd in 1998, is een breed maar nauwgezet overzicht van de theoretische basis voor het ontwerpen, definiëren en implementeren van programmeertalen en van systemen voor het specificeren en bewijzen van programmagedrag. Zowel dwingend als functioneel programmeren komen aan bod, evenals de manieren om deze aspecten in meer algemene talen te integreren. Erkennend dat er een eenheid van techniek schuilgaat onder de diversiteit van het onderzoek in programmeertalen, presenteert de auteur een geïntegreerde behandeling van de basisprincipes van het onderwerp. Hij identificeert het relatief kleine aantal concepten zoals compositorische semantiek, bindende structuurdomeinen, overgangssystemen en inferentieregels die als basis dienen voor het vakgebied. Uitgaande van alleen kennis van elementair programmeren en wiskunde, is deze tekst perfect voor geavanceerde niet-gegradueerde en beginnende graduate cursussen in programmeertaaltheorie en zal ook een beroep doen op onderzoekers en professionals bij het ontwerpen of implementeren van computertalen. Taal: Engels