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