Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

<< Return to Search Results

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote Export to EasyBib Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/298537898 Title: Semantics engineering with PLT Redex Author: Matthias Felleisen; Robert Bruce Findler; Matthew Flatt Publisher: Cambridge, Mass. : MIT Press, ©2009. ISBN/ISSN: 9780262062756 0262062755 OCLC:298537898

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Preview this item

Semantics engineering with PLT Redex

Author:	Matthias Felleisen; Robert Bruce Findler; Matthew Flatt
Publisher:	Cambridge, Mass. : MIT Press, ©2009.
Edition/Format:	Book : EnglishView all editions and formats
Summary:	The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.
Rating:	(not yet rated) 0 with reviews - Be the first.

Borrow / obtain a copy

Find a copy in the library

Finding libraries that hold this item...

Details

Document Type:	Book
All Authors / Contributors:	Matthias Felleisen; Robert Bruce Findler; Matthew Flatt Find more information about:
ISBN:	9780262062756 0262062755
OCLC Number:	298537898
Description:	xii, 502 p. : ill. ; 24 cm.
Contents:	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.
Responsibility:	Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.
More information:	Companion Website

Reviews

Editorial reviews

Publisher Synopsis

"This book is nothing short of revolutionary." --Michael Vanier, Department of Computer Science, Caltech

User-contributed reviews

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search

More like this

Subjects

Similar Items