What?
From context, it means no pointer arithmetic and no stack-allocated objects.
For differences (example from Caml Language) from and need for:
- Pointers exist in Caml, and in fact they spread all over the place. They are used either implicitely (in the most cases), or explicitely (in the rare occasions where implicit pointers are not more handy). The vast majority of pointers usages that are found in usual programming languages simply disapear in Caml, or more exactly, those pointers are totally automatically handled by the compiler and the Caml programmer can safely just ignore their existence, focusing on the semantic of its program
CategoryPointer