Apress Windows 10 Release Sale

Virtual Machines

By Iain D. Craig

  • eBook Price: $79.99
Buy eBook Buy Print Book

Virtual Machines Cover Image

  • Add to Wishlist
  • ISBN13: 978-1-8523-3969-2
  • 288 Pages
  • User Level: Science
  • Publication Date: May 17, 2010
  • Available eBook Formats: PDF

Related Titles

  • Information Systems and Neuroscience
  • BPM - Driving Innovation in a Digital World
  • Data-Driven Process Discovery and Analysis
  • Physical Asset Management
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII
  • UML @ Classroom
  • AIDA-CMK: Multi-Algorithm Optimization Kernel Applied to Analog IC Sizing
  • Computational Color Imaging
  • Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines
  • Non-Linear Finite Element Analysis in Structural Mechanics
Full Description
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.
Table of Contents

Table of Contents

  1. Introduction.
  2. VMs for Portability: BCPL.
  3. The Java Virtual Machines.
  4. DIY VMS.
  5. More Stack
  6. Based VMs.
  7. Case Study: An Event
  8. Driven Language.
  9. Register
  10. Based Machines.
  11. Implementation Techniques.
  12. Open Issues.
  13. App. A: Compiling ALEX.
  14. App. B: Harrison Machines Compilation Rules.
Errata

Please Login to submit errata.

No errata are currently published

Best-Sellers

    1. Introduction to Programming with Fortran

      $69.95

      View Details