Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Virtual Machines

Authors: Craig, Iain D.

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-1-84628-246-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 114,39 €
price for Spain (gross)
  • ISBN 978-1-85233-969-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-1-84996-980-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Reviews

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)


Table of contents (9 chapters)

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-1-84628-246-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 114,39 €
price for Spain (gross)
  • ISBN 978-1-85233-969-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-1-84996-980-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Virtual Machines
Authors
Copyright
2006
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-84628-246-1
DOI
10.1007/978-1-84628-246-1
Hardcover ISBN
978-1-85233-969-2
Softcover ISBN
978-1-84996-980-2
Edition Number
1
Number of Pages
XV, 269
Number of Illustrations and Tables
43 b/w illustrations
Topics