Assertion: virtual machine | /r/DefinedAs | specification
Facets:
Source sentences:
text: The Java virtual machine is an abstract (virtual) computer defined by a specification.