跳到内容
Semantics engineering with PLT Redex 预览资料
关闭预览资料
正在查...

Semantics engineering with PLT Redex

著者: Matthias Felleisen; Robert Bruce Findler; Matthew Flatt
出版商: Cambridge, Mass. : MIT Press, ©2009.
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
提要:

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.

评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Matthias Felleisen; Robert Bruce Findler; Matthew Flatt
ISBN: 9780262062756 0262062755
OCLC号码: 298537898
描述: xii, 502 pages : illustrations ; 24 cm
内容: Reduction semantics --
Semantics via syntax --
Analyzing syntactic semantics --
The [lambda]-calculus --
ISWIM --
An abstract syntax machine --
Abstract register machines --
Tail calls and more space savings --
Control : errors, exceptions, and continuations --
State : imperative assignment --
Simply typed ISWIM --
PLT redex --
The basics --
Variables and meta-functions --
Layered development --
Testing --
Debugging --
Case study 1 : order of evaluation --
Case study 2 : continuations as values --
Typesetting --
Appendix : a tour of DrScheme --
Applications --
Modular ACL2 / Carl Eastlund --
Modeling scheme macros / Martin Gasbichler --
A model of java/scheme interoperability / Kathryn E. Gray --
Implementing hidden type variables in fortress / Joe Hallett, Eric Allen, Sukyoung Ryu --
Type checking and inference via reductions / George Kuan --
Topsl : DSEL as multi-language system / Jacob Matthews --
Prototyping nested schedulers / Mike Rainey.
责任: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.
更多信息:

评论

社评

出版商概要

"Matthias Felleisen and his colleagues in The PLT group are well known for their books on program design, their work on teaching programming, and for the research that has led to DrScheme, one of the 再读一些...

 
用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/298537898>
library:oclcnum"298537898"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/298537898>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
<http://id.loc.gov/authorities/subjects/sh85107316>
rdf:typeschema:Intangible
schema:name"Programming languages (Electronic computers)--Semantics."@en
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1078716>
rdf:typeschema:Intangible
schema:name"Programming languages (Electronic computers)--Semantics"@en
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:copyrightYear"2009"
schema:creator
schema:datePublished"2009"
schema:description"Reduction semantics -- Semantics via syntax -- Analyzing syntactic semantics -- The [lambda]-calculus -- ISWIM -- An abstract syntax machine -- Abstract register machines -- Tail calls and more space savings -- Control : errors, exceptions, and continuations -- State : imperative assignment -- Simply typed ISWIM -- PLT redex -- The basics -- Variables and meta-functions -- Layered development -- Testing -- Debugging -- Case study 1 : order of evaluation -- Case study 2 : continuations as values -- Typesetting -- Appendix : a tour of DrScheme -- Applications -- Modular ACL2 / Carl Eastlund -- Modeling scheme macros / Martin Gasbichler -- A model of java/scheme interoperability / Kathryn E. Gray -- Implementing hidden type variables in fortress / Joe Hallett, Eric Allen, Sukyoung Ryu -- Type checking and inference via reductions / George Kuan -- Topsl : DSEL as multi-language system / Jacob Matthews -- Prototyping nested schedulers / Mike Rainey."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/179349536>
schema:inLanguage"en"
schema:name"Semantics engineering with PLT Redex"@en
schema:publisher
schema:url
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA972717>

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.