skip to content
Virtual machines Preview this item
ClosePreview this item
Checking...

Virtual machines

Author: I Craig
Publisher: London : Springer-Verlag, ©2006.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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.  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Craig, I.
Virtual machines.
London : Springer-Verlag, ©2006
(DLC) 2005923254
(OCoLC)62091863
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: I Craig
ISBN: 9781846282461 1846282462 1852339691 9781852339692
OCLC Number: 631336053
Description: 1 online resource (xv, 269 pages) : illustrations
Contents: VMs 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 --
Compiling ALEX --
Harrison machine compilation rules --
Harrison machine instruction set.
Responsibility: Iain D. Craig.
More information:

Abstract:

I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak", so be it.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"The author offers a unique insight into the building of virtual machines (VMs) for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/631336053> # Virtual machines
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "631336053" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://dewey.info/class/006.8/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/46515652#Topic/virtuelle_maschine> ; # Virtuelle Maschine
    schema:about <http://experiment.worldcat.org/entity/work/data/46515652#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1167683> ; # Virtual computer systems
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2006" ;
    schema:creator <http://viaf.org/viaf/46840129> ; # I. Craig
    schema:datePublished "2006" ;
    schema:description "VMs 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 -- Compiling ALEX -- Harrison machine compilation rules -- Harrison machine instruction set."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/46515652> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/62091863> ;
    schema:name "Virtual machines"@en ;
    schema:productID "631336053" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/631336053#PublicationEvent/london_springer_verlag_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/46515652#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/978-1-84628-246-1> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0818/2005923254-t.html> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-28/5/9781846282461> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-28/5/9781846282461> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-85233-969-2> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-1-84628-246-1> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-1-84628-246-1> ;
    schema:url <http://www.library.yorku.ca/e/resolver/id/1991770> ;
    schema:url <http://site.ebrary.com/id/10391844> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=993300> ;
    schema:url <http://www.library.yorku.ca/e/resolver/id/1991769> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-1-84628-246-1> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://link.springer.com/10.1007/978-1-84628-246-1> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-85233-969-2> ;
    schema:url <http://link.springer.com/10.1007/978-1-84628-246-1> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=571185> ;
    schema:workExample <http://worldcat.org/isbn/9781846282461> ;
    schema:workExample <http://worldcat.org/isbn/9781852339692> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/631336053> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/46515652#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/46515652#Topic/virtuelle_maschine> # Virtuelle Maschine
    a schema:Intangible ;
    schema:name "Virtuelle Maschine"@en ;
    .

<http://id.worldcat.org/fast/1167683> # Virtual computer systems
    a schema:Intangible ;
    schema:name "Virtual computer systems"@en ;
    .

<http://viaf.org/viaf/46840129> # I. Craig
    a schema:Person ;
    schema:familyName "Craig" ;
    schema:givenName "I." ;
    schema:name "I. Craig" ;
    .

<http://worldcat.org/isbn/9781846282461>
    a schema:ProductModel ;
    schema:isbn "1846282462" ;
    schema:isbn "9781846282461" ;
    .

<http://worldcat.org/isbn/9781852339692>
    a schema:ProductModel ;
    schema:isbn "1852339691" ;
    schema:isbn "9781852339692" ;
    .

<http://www.worldcat.org/oclc/62091863>
    a schema:CreativeWork ;
    rdfs:label "Virtual machines." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/631336053> ; # Virtual machines
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.