SML Implementation of the New Macro COSY Environment

Author of Thesis:Peter Io-Chi Pat
Master of Science (Computation) January, 1996
McMaster University, Hamilton, Ontario, Canada
Thesis Supervisor: Dr. P. E. Lauer

• Contents
• List of Tables
• List of Figures
• Introduction
• Prerequisites
  • Introduction
  • The Programming Language SML
  • COSY
    • Introduction
    • Basic COSY
    • Macro COSY
      • 2.3.3.1 The Macro Program
      • 2.3.3.2 The Collectivisors
      • 2.3.3.3 The Body-Replicators
      • 2.3.3.4 Macro Paths and Macro Processes
      • 2.3.3.5 Sequence Replicators
      • 2.3.3.6 Left and Right Sequence Replicators
      • 2.3.3.6 The Distributors
  • Expansion of Macro COSY Programs
    • Introduction
    • Old Expander for Macro COSY Programs
      • 2.4.2.1 The Expansion of Replicators
      • 2.4.2.2 The Expansion of Distributors
    • New Expander for Macro COSY Programs
      • 2.4.3.1 The Expansion of Replicators
      • 2.4.3.2 The Expansion of Distributors
• The Macro COSY Environment
  • Introduction
  • Signatures
    • The Main Signatures
    • The Auxiliary Signatures
  • Functors
  • Structures
  • Usage of the Software for the COSY Environment
• Conclusion
• References
• Macro COSY Notation
• Code Listing
• Testing
• Copyright Permission
• Expansion Tables
• About this document ...