Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Operating Systems. --- Computer science. --- Software engineering. --- Operating systems (Computers). --- Informatique --- Génie logiciel --- Systèmes d'exploitation (Ordinateurs) --- Virtual computer systems --- Virtual computer systems. --- Engineering & Applied Sciences --- Computer Science --- Parallel processing (Electronic computers) --- Machine systems, Virtual --- Virtual machine systems --- Computer hardware. --- Programming languages (Electronic computers). --- Computer Hardware. --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer systems --- Digital computer simulation --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Abstract automata --- Abstract machines --- Automata --- Automates [Théorie des ] --- Automates mathématiques [Théorie des ] --- Machine theory --- Machines [Théorie des ] --- Mathematical machine theory --- Petri nets --- Petrinetten --- Réseaux de Petri --- Théorie des automates mathématiques --- Théorie des machines --- Wiskundige automaten [Theorie van de ] --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Petri, réseaux de --- Réseaux de Pétri --- Automates mathématiques, Théorie des --- Informatique --- Computer science --- Computer science. --- Décidabilité (logique mathématique) --- Algorithmique --- Automates abstraits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discrete mathematics --- Mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- discrete wiskunde --- informatica --- wiskunde --- software engineering --- OS (operating system)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer. Automation --- computerbesturingssystemen --- programmeren (informatica)