%0 Book %1 craig2006virtual %A Craig, Iain D. %C London %D 2006 %I Springer-Verlag %K Interpreters VM VirtualMachine %T Virtual Machines %U http://www.amazon.com/Virtual-Machines-Iain-D-Craig/dp/1852339691 %X In this book 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. %@ 9781846282461 1846282462

@book{craig2006virtual, abstract = {In this book 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.}, added-at = {2012-09-28T14:24:29.000+0200}, address = {London}, author = {Craig, Iain D.}, biburl = {https://www.bibsonomy.org/bibtex/2738f89d92b747d972ec15838b1956454/gron}, description = {Virtual Machines: Iain D. Craig: 9781852339692: Amazon.com: Books}, interhash = {a70c5c2826ca675ff3891c7fbc3b898d}, intrahash = {738f89d92b747d972ec15838b1956454}, isbn = {9781846282461 1846282462}, keywords = {Interpreters VM VirtualMachine}, publisher = {Springer-Verlag}, refid = {631336053}, timestamp = {2012-09-28T14:24:29.000+0200}, title = {Virtual Machines}, url = {http://www.amazon.com/Virtual-Machines-Iain-D-Craig/dp/1852339691}, year = 2006 }