Virtual Machines

  • Authors
  • Iain D. Craig

Table of contents

  1. Front Matter
    Pages i-xv
  2. Pages 1-10
  3. Pages 61-108
  4. Pages 109-130
  5. Pages 157-200
  6. Pages 215-231
  7. Back Matter
    Pages 233-269

About this book


Virtual Machines 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 on how to build VMs.

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.


Compiler Java Java Virtual Machine Programming Languages Virtual Machines object virtual machine

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 2006
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-85233-969-2
  • Online ISBN 978-1-84628-246-1
  • Buy this book on publisher's site
Industry Sectors
IT & Software