作者: Lloyd Allison
DOI:
关键词: Programming language theory 、 Action semantics 、 Denotational semantics 、 Programming language 、 Pascal (programming language) 、 Denotational semantics of the Actor model 、 Computer science 、 Operational semantics
摘要: From the Publisher: Numerous exercises in Pascal encourage student to write and test definitions this introduction denotational semantics its applications programming languages.