程序設(shè)計(jì)語言理論基礎(chǔ)

本書提出了一個(gè)框架，用于分析程序設(shè)計(jì)語言的語法、操作和語義性質(zhì)，該框架基于稱為類型化λ演算的數(shù)學(xué)系統(tǒng)。λ演算的主要特色是對(duì)于函數(shù)和其他可計(jì)算的值的一種記法，以及一個(gè)等式邏輯和用于表達(dá)式求值的一組規(guī)則。本書中最簡單的系統(tǒng)是稱為泛代數(shù)的一個(gè)等式系統(tǒng)，它可以用來公理化和分析通常用于程序設(shè)計(jì)的許多數(shù)據(jù)類型?？勺鳛槔碚撚?jì)算機(jī)科學(xué)、軟件系統(tǒng)和數(shù)學(xué)專業(yè)的大學(xué)本科高年級(jí)或者研究生初始學(xué)習(xí)階段的教材，同時(shí)也適合用于高等研究的技術(shù)參考書。