Assertion: spin | /r/HasProperty | object-based high-level code
Facets:
Source sentences:
text: Subroutines in Spin (object-based high-level code) use a call-return mechanism requiring use of a call stack.