• Virtual Machines

Treffer: Virtual Machines

Title:
Virtual Machines
Authors:
Craig, Iain D., author.
Publication Year:
2006
Physical Description:
XV, 269 p. 43 illus. online resource.
Subject Terms:
Computer science., Operating systems (Computers), Software engineering., Programming Languages, Compilers, Interpreters., Software Engineering/Programming and Operating Systems., Operating Systems.
Contents Note:
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.
Original Identifier:
(Springer)9781846282461
Document Type:
Buch Book
Language:
English
ISBN:
978-1-84628-246-1
978-1-85233-969-2
1-84628-246-2
1-85233-969-1
Rights:
This record is part of the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others, OCLC Online Computer Library Center, Inc. and the Library of Congress.
Accession Number:
edshlc.014277686.6
Database:
Harvard Library Bibliographic Dataset

Weitere Informationen

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.