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 asa 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-basedsystem. 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 referencetool for academic and industrial researchers as well as postgraduates in thisarea. INDICE: Introduction.- VMs for Portability: BCPL.- The Java Virtual Machines.- DIY VMS.- More Stack-Based VMs.- Case Study: An Event-Driven Language.- Register-Based Machines.- Implementation Techniques.- Open Issues.- App. A: Compiling ALEX.- App. B: Harrison Machines Compilation Rules.
- ISBN: 978-1-84996-980-2
- Editorial: Springer
- Encuadernacion: Rústica
- Fecha Publicación: 31/03/2012
- Nº Volúmenes: 1
- Idioma: Inglés