作者:Christian Queinnec
出版社:Cambridge University Press
出版年:2003-12-04
评分:8.2
ISBN:9780521545662
所属分类:网络科技
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally introduced. The second part focuses more on implementation techniques and discusses precompilation for fast interpretation: threaded code or bytecode; compilation towards C. Some extensions are also described such as dynamic evaluation, reflection, macros and objects. This will become the new standard reference for people wanting to know more about the Lisp family of languages: how they work, how they are implemented, what their variants are and why such variants exist. The full code is supplied (and also available over the Net). A large bibliography is given as well as a considerable number of exercises. Thus it may also be used by students to accompany second courses on Lisp or Scheme.
严肃游戏中个性化建模及认知机制研究 内容简介 本书以具有游戏特征但以非娱乐为目的的“严肃游戏”以及由此衍生的游戏式学习具备有效学习环境的关键特征, 能为学习者提...
《代码精进之路:从码农到工匠》内容简介:这是一本为专业程序员而写的书,写好代码、追求卓越和工匠精神是每个程序员都应该具备的
Web Color Design:设计师谈网页配色 内容简介 本书是为网页设计师量身定制的配色方案专业书籍。全书共分七个部分,分别结合丰富的实例讲述了配色基础知...
“法国文化电台”记者R·舍普就目前法国社会较为关心的,关于科技对社会的影响的问题,采访了法国学界的一些人士。采访笔录形成了
TheGNUAutotoolsmakeiteasyfordeveloperstocreatesoftwarethatisportableacrossmanyUn...
《茶之书:识茶·懂茶·品茶》内容简介:本书以知识性随笔的方式,在介绍最具代表性的各类名茶的同时,加入了足够的关于茶道、茶文
这本书主要分为五个部分来写,引论、策划、易用度设计、交互网站设计和图形图像的建立。而主要部分为交互网站设计和易用度设计,
《LTE轻松进阶》以说故事讲原理的方式介绍LTE技术原理。内容按照从总体到细节、从原理到实践的顺序提纲挈领地介绍LTE无线侧工程师
《杨司令的少先队》内容简介:本书收录了郭墟的四部小说;《杨司令的少先队》反映东北抗日联军司令杨靖宇领导下的一支儿童战斗队朝
Helveticaisasans-seriftypeface.Itissimpleandclean,andcommonlyseeninadvertising,s...
掌握TMS320C6201/6701DSPs是了解当代众多DSPs的方法之一。DSPs是DigitalSignalProcessors的缩写,指专用于数字信号处...
全书一共分为9章,首先从宏观上介绍了CSS3技术的最新发展现状、新特性,以及现有的主流浏览器对这些新特性的支持情况;然后详细讲
《灵魂应是可以随时飞起的鸟》内容简介:一切的驱动力,其实都是来自他那颗拳头大小的心——它微不足道,但是足够炽热,跳动有力,
本书为21世纪高等学校规划教材。本书共有八章,主要介绍微机继电保护的基本构成原理和实现技术,包括数字信号滤波处理,微机保护
《易中天中华史:国家》内容简介:为什么文明的标志是国家?为什么世界各国的体制五花八门?从部落到国家,是历史的岔路口。世界各
《C语言从入门到项目实践(超值版)》内容简介:本书采取“基础知识→核心应用→核心技术→高级应用→行业应用→项目实践”结构和“
《WebGL编程指南》内容简介:WebGL是一项在网页上渲染三维图形的技术,也是HTML5草案的一部分。本书的主要篇幅讲解了WebGL原生API和
深入浅出MFC是一本介绍MFC(MicrosoftFoundationClasses)程式设计技术的书籍。对於Windows应用软体的开发感到兴趣,并欲使用Vi...
在整個藝術史當中,塗鴉藝術仍算是一門初生的想法與概念。這種EphemeralArt(消失性藝術),是基於作品本身的毀滅性或是它的短暫
《人脉是设计出来的:实战篇》内容简介:我们迫切渴望成功,我们更加明白——在这个世界上,没有人不努力就能办成事,也没有人仅仅