程序设计语言语义学

сhéngxù shèjì yǔyán yǔyìxué

семантика языка программирования