Virtual Machines

• Main Author: Craig, Iain D. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2006.
• Subjects: Computer science.; Computer hardware.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Computer Hardware.; Programming Languages, Compilers, Interpreters.; Software Engineering/Programming and Operating Systems.; Operating Systems.

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 specificati...

Table of Contents:

• VMs for Portability: BCPL
• The Java Virtual Machine
• DIY VMs
• More Stack-Based VMs
• Case Study: An Event-Driven Language
• Register-Based Machines
• Implementation Techniques
• Open Issues.