[Next][Prev] [Right] [Left] [Up] [Index] [Root]

MAGMA SEMANTICS

 
Acknowledgements
 
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







DETAILS

 
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

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Mon Dec 17 14:40:36 EST 2012