Assertion: rasp | /r/HasProperty | a random-access machine
Facets:
Source sentences:
text: The RASP is a random-access machine (RAM) model that, unlike the RAM, has its program in its "registers" together with its input.