The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Num Pages: 520 pages, 36 figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 187 x 237 x 29. Weight in Grams: 982. . 2009. 1st. Hardcover. . . . .

Bestandsnummer des Verk�ufers V9780262062756

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Semantics Engineering with PLT Redex

Verlag

MIT Press Ltd

Erscheinungsjahr

2009

Sprache

Englisch

ISBN-10

0262062755

ISBN-13

9780262062756

Einband

Hardcover

Zustand

New

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

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

This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.

�ber die Autorin bzw. den Autor

Matthias Felleisen is Trustee Professor in the College of Computer Science at Northeastern University.

Robert Bruce Findler is Associate Professor of Computer Science at Northwestern University.

Matthew Flatt is Professor in the School of Computing at the University of Utah.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Widerrufsbelehrung

Versandbedingungen

Free Shipping

Versandkosten von Irland nach USA

Versandkosten von Irland nach USA
Bestellmenge	12 bis 22�Werktage	10 bis 20�Werktage
Erster Artikel	EUR 10.50	EUR 11.50

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.