Next:
List of Tables
Up:
SML Implementation of
Previous:
Acknowledgements
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 ...
=##1
Peter Lauer
Mon Jul 22 17:29:46 EDT 1996