图书标签: 编程语言理论 编程语言 基础理论 编程 计算机 编程范式 课本
发表于2024-12-23
编程语言 pdf epub mobi txt 电子书 下载 2024
本书第1版自1999年出版以来,编程语言的研究已得到迅猛发展。为此,新版尽量贴近现今的发展趋势,以适应当前和未来编程语言设计过程中所伴随的新挑战。本书除了进一步提高了4种程序设计范型及其所用的语言的广度和深度外,还大大丰富了关于语言设计原理的内容,并新增了如Python、Perl这类编程语言的例子。本书主要结构第一部分:原理。第2、4、5、7、9章分别讲述了编程语言的5个核心原理(语法、名称、类型、语义和函数)。第3、6、8、10、11章加深对这些主题的阐述。第二部分:范型。包含4个主要的程序范型。其中,第12章是全新内容,主要讲解了在C、Ada和Perl这3种不同的语言中命令式编程的关键特点。第13 章在第1版的基础上进行了较多的改写,主要使用Java、Smalltalk和Python来研究面向对象语言的特点。第14章和第15章分别对函数式编程和逻辑式编程进行了区分。第三部分:专题。第16章和第17章主要讲解事件处理和并发性。第18章具体阐述了正确性的相关内容。在学习本书之前,读者应该具备数据结构方面的知识,熟悉Java、C、C++或C#等编程语言,最好还能了解一下初等离散数学和离散结构课程。本书所涉及的软件都可在Java 1.5或更高版本中运行。
Allen B.Tucker是Bowdoin等院计算机科学系的教授,曾获得了Wesleyan大学的数学学士学位,Northwestern大学的计算机科学硕士和博士学位。
Tucker教授已出版了有关编程语言、软件设计、自然语言处理和课程设计等方面的专著。他是乌克兰Ternopil Academy of National Economy的Fulbright讲席教授,新西兰Canter-bury大学的Erskine访问学者和法国Esigelec大学的访问学者,还是 ACM的会员。
年前在图书馆翻了半天,年后找不到了...是本专业级的科普书籍...亮点挺多~比如最后介绍了一下形式化方法,契约式编程和JML~
评分年前在图书馆翻了半天,年后找不到了...是本专业级的科普书籍...亮点挺多~比如最后介绍了一下形式化方法,契约式编程和JML~
评分年前在图书馆翻了半天,年后找不到了...是本专业级的科普书籍...亮点挺多~比如最后介绍了一下形式化方法,契约式编程和JML~
评分年前在图书馆翻了半天,年后找不到了...是本专业级的科普书籍...亮点挺多~比如最后介绍了一下形式化方法,契约式编程和JML~
评分年前在图书馆翻了半天,年后找不到了...是本专业级的科普书籍...亮点挺多~比如最后介绍了一下形式化方法,契约式编程和JML~
买这本书的时候是带着研究一门新语言的目的的. 里面当然不会直接教你如何创造一门新的语言,但是对各种语言的分析对于创建自己的一门编程语言是挺有帮助的. 但是这本书并不能给到我一种精华或者惊艳的感觉,甚至让我有点失望.原因就在于,内容上有很多关于原理的讨论和...
评分给这渣翻译跪了…… 本书第18页第一行:“例如,Lisp和Prolong语言就是经常使用编译器实现的(虽然编译器也存在在这些语言中)。” 原书:“Lisp and Prolog, for instance, are often implemented using interpreters (although compilers for these languages also exist)....
评分给这渣翻译跪了…… 本书第18页第一行:“例如,Lisp和Prolong语言就是经常使用编译器实现的(虽然编译器也存在在这些语言中)。” 原书:“Lisp and Prolog, for instance, are often implemented using interpreters (although compilers for these languages also exist)....
评分给这渣翻译跪了…… 本书第18页第一行:“例如,Lisp和Prolong语言就是经常使用编译器实现的(虽然编译器也存在在这些语言中)。” 原书:“Lisp and Prolog, for instance, are often implemented using interpreters (although compilers for these languages also exist)....
评分买这本书的时候是带着研究一门新语言的目的的. 里面当然不会直接教你如何创造一门新的语言,但是对各种语言的分析对于创建自己的一门编程语言是挺有帮助的. 但是这本书并不能给到我一种精华或者惊艳的感觉,甚至让我有点失望.原因就在于,内容上有很多关于原理的讨论和...
编程语言 pdf epub mobi txt 电子书 下载 2024