Magma Semantics

• Introduction
• Terminology
• Assignment
• Uninitialized Identifiers
• Evaluation in Magma
  • Call by Value Evaluation
  • Magma’s Evaluation Process
  • Function Expressions
  • Function Values Assigned to Identifiers
  • Recursion and Mutual Recursion
  • Function Application
  • The Initial Context
• Scope
  • Local Declarations
  • The ‘first use’ Rule
  • Identifier Classes
  • The Evaluation Process Revisited
  • The ‘single use’ Rule
• Procedure Expressions
• Reference Arguments
• Dynamic Typing
• Traps for Young Players
  • Trap 1
  • Trap 2
• Appendix A: Precedence
• Appendix B: Reserved Words