семантика, semantics ; мови програмування, языки программирования, programming languages, langagues de la programmation, Programmiersprachen ; синтаксис, Syntax

This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming languages. We found that these laboratory exercises were highly successful in motivating students since the hands-on experience helped demystify the study of formal semantics. At a professional meeting we became aware of each other’s experiences with a laboratory approach to semantics, and this book evolved from that conference. -// 1.Programming languages (Electronic computers)--Syntax. 2.Programming languages (Electronic computers)--Semantics. //-

• http://libsearch.kture/ftplib/ebooks/dvd1/_PROGRAMMING/_COMPILLERS/Addison_Wesley-Compiler_Design-Formal_Syntax_And_Semantics_of_Programming_Language-1995.pdf

• УДК // Синтаксис і семантика програм