Virtual Machines by Iain D. CraigVirtual Machines by Iain D. Craig

Virtual Machines

byIain D. Craig

Paperback | January 2, 2013

Pricing and Purchase Info

$161.35 online 
$191.95 list price save 15%
Earn 807 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book offers a unique insight into the building of virtual machines for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to provide actual, practical examples.State transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based system. Two virtual machines are defined using a simple sequential language, which is then generalised to include object and parallelism. Other themes explored include the implementation of VMs and proposals for future work. Appendices contain high-level specifications of two compilers: one for the simple language that serves as the basic example throughout the book, the other for the event-based language specified in Chapter 6.This book is an essential reference tool for academic and industrial researchers as well as postgraduates in this area.
Title:Virtual MachinesFormat:PaperbackDimensions:269 pages, 23.5 × 15.5 × 0.02 inPublished:January 2, 2013Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1849969809

ISBN - 13:9781849969802

Look for similar items by category:

Reviews

Table of Contents

Introduction.- VMs for Portability: BCPL.- The Java Virtual Machines.- DIY VMS.- More Stack-Based VMs.- Case Study: An Event-Driven Language.- Register-Based Machines.- Implementation Techniques.- Open Issues.- App. A: Compiling ALEX.- App. B: Harrison Machines Compilation Rules.

Editorial Reviews

From the reviews:"The author offers a unique insight into the building of virtual machines (VMs) for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to provide practical examples on how to build VMs." (Stefan Meyer, Zentralblatt MATH, Vol. 1092 (18), 2006)