Semantics engineering with PLT Redex

by Felleisen, Matthias

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.

Edition Statements

Publication Date:©2009.

Publication Statements

Publisher(s):MIT Press
Place of Publication:Cambridge, Mass
Language:eng
Publication Date:©2009.

The Physical Object

Description:xii, 502 pages : : illustrations ; : 24 cm

Edition Identifiers

ISBN:9780262062756, 0262062755
oclc:ocn298537898
LC Classification:QA76.73.R227
Dewey Decimal:005.1/1

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.

Subjects

Domain-specific programming languages Informatik Langages de programmation -- Sémantique Langages orientés problème (Informatiqu… Programming languages (Electronic compu… Redex (Computer program language) Semantik