陈意云编著2004 年出版340 页ISBN：7040155168
本书为研究生系列教材之一。本书基于一个叫做λ演算的数学系统，而不是特定程序设计语言来分析程序设计语言的语法性质、操作性质和语义性质。全书强调顺序语言，但是其中许多概念和技术可以应用到并行程序设计...
陈意云，张昱编2008 年出版412 页ISBN：7040239639
本书是普通高等教育“十一五”国家级规划教材。本书介绍编译器构造的一般原理和基本实现方法，其内容包括词法分析、语法分析、语义分析、中间代码生成、目标代码生成、独立于机器的优化和依赖于机器的优化等...
陈意云，张昱编著2014 年出版441 页ISBN：9787040404913
本书是普通高等教育“十一五”国家级规划教材。本书介绍编译器构造的一般原理和基本实现方法，其内容包括词法分析、语法分析、语义分析、中间代码生成、目标代码生成、独立于机器的优化和依赖于机器的优化等...
张昱，陈意云主编2009 年出版348 页ISBN：9787040261509
本书是编译原理课程的实验教材，它以“源语言－抽象语法树－低级中间表示－汇编代码的内部表示－x86/MIPS汇编”为主线搭建编译原理课程的实验体系，设计安排了各种循序渐进、规模适度、“综观全局”、“实现局部”、强...
陈意云，张昱编著2005 年出版165 页ISBN：7040178125
本书为十五国家级规划教材《编译原理》的配套用书。全书从主教材的习题和作者近年来所设计的各种试题中，精选出180道题目进行分析与解答，融入作者多年讲授这门课程的经验和体会。为便于结合教学使用，全书各章...
罗意著2017 年出版367 页ISBN：9787520306041
本书在一个较长时段中探讨阿尔泰山南麓一个以哈萨克人为主的社区中人文生态与自然生态相互强化的机制，重点考察社会历史情境、制度与政策、人群的资源利用行为、人群的环境态度、人口结构与族群关系与草原生...
陈意云，张昱编著2010 年出版351 页ISBN：9787040284041
本书以类型系统为中心来开展程序设计语言的研究，除了由浅入深地介绍各种类型系统外，还讨论相应程序设计语言的操作语义、公理语言和指称语义，以及这些语义之间的关系，是一本覆盖面较广的有关程序设计语言理论基...
