The focus of the Erlang reference manual is on the language itself, not the implementation of it. The language constructs are described in text and with examples rather than formally specified. This is to make the manual more readable. The Erlang reference manual is not intended as a tutorial.
Information about implementation of Erlang can, for example, be found, in the following:
Memory consumption, system limits
- ERTS User's Guide