Symbols

• expr is in LL the expression expr evaluated:
  (list 1 2) = (1 2)
• expr expr is equivalent to expr = expr
• and are placeholders on the LLAMA stack and heap used in the description of machine states
• @proc is the entry address of the procedure proc
• is the external (printable) LL representation of the LLAMA expression lexpr on the stack or heap (where it is in case of a list or structure only a pointer)
• is a copy of lexpr in the general purpose memory (Memory) of the LLAMA
• is the LLAMA expression lexpr dereferenced
• and denote the modes ground and unrestricted, respectively

appendix

Bibliography