Virtual Machines (Google eBook)

Front Cover
Springer Science & Business Media, May 17, 2010 - Computers - 284 pages
1 Review
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.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 Introduction
1
BCPL
11
3 The Java Virtual Machine
27
4 DIY VMs
61
5 More StackBased VMs
109
An EventDriven Language
131
7 RegisterBased Machines
156
8 Implementation Techniques
201
9 Open Issues
215
A Compiling ALEX
233
B Harrison Machine Compilation Rules
241
C Harrison Machine Instruction Set
256
References
261
Index
264
Copyright

Common terms and phrases

Bibliographic information