Pular para o conteúdo
Informática

Virtual Machines

1ª Edição - 2005288 páginasSpringer Verlag *pt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

This book offers a unique insight into the building of virtual machines for sequential, object-oriented & parallel languages, & uses comparisons of different VMs to provide actual, practical examples. State transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions & 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 & parallelism. Other themes explored include the implementation of VMs & 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 & industrial researchers as well as postgraduates in this area.

Detalhes do livro

Título
Virtual Machines
Autor
Iain D. Craig
Editora
Springer Verlag *
Ano
2026
Páginas
288 páginas
Idioma
PT
ISBN-13
9781852339692
Edição
1ª Edição - 2005
Formato
Hardcover

Mais de Iain

Outros livros de Iain D. Craig

Informática

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras