000 02609nam a22003615i 4500
001 292017
003 MX-SnUAN
005 20170705134224.0
007 cr nn 008mamaa
008 150903s2006 xxk| o |||| 0|eng d
020 _a9781846282461
_99781846282461
024 7 _a10.1007/9781846282461
_2doi
035 _avtls000343761
039 9 _a201509030355
_bVLOAD
_c201405050258
_dVLOAD
_y201402061204
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.7-76.73
100 1 _aCraig, Iain D.
_eautor
_9322774
245 1 0 _aVirtual Machines /
_cby Iain D. Craig.
264 1 _aLondon :
_bSpringer London,
_c2006.
300 _axv, 269 páginas 43 ilustraciones
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
500 _aSpringer eBooks
505 0 _aVMs 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.
520 _aVirtual 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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9781852339692
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-84628-246-1
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c292017
_d292017