{"product_id":"virtual-machines-9781849969802","title":"Virtual Machines","description":"\u003cp\u003e • Author(s): Iain D. Craig\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eVirtual Machines\u003c\/em\u003e 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.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eState 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.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eThis book is an essential reference tool for academic and industrial researchers as well as postgraduates in this area.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45274052264087,"sku":"9781849969802","price":10915.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781849969802.webp?v=1769238595","url":"https:\/\/atlanticbooks.com\/products\/virtual-machines-9781849969802","provider":"Atlantic Books","version":"1.0","type":"link"}