Iain D. Craig

eBook, PDF

Virtual Machines (eBook, PDF)

Beschreibung

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.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 45.11MB

Barrierefreiheit

• Text-to-Speech

Autor

Iain D. Craig, University College of Northampton, Northampton, UK

Produktdetails

• Verlag: Springer London
• Seitenzahl: 269
• Erscheinungstermin: 17. Mai 2010
• Englisch
• ISBN-13: 9781846282461
• Artikelnr.: 44225040

Rezensionen

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)