Next: Extrinsic instead of INDEPENDENT
Up: Extrinsics
Previous: Rules for Extrinsic Procedures
EXTRINSIC s may contain:
- a super-efficient message passing kernel,
- calls to library functions,
- an interface to a package,
- calls to `trusty' old code,
- calls to a different language,
- code which requires no synchronisation.
For more information, click here 
Next: Extrinsic instead of INDEPENDENT
Up: Extrinsics
Previous: Rules for Extrinsic Procedures
©University of Liverpool, 1997
Wed May 28 23:37:18 BST 1997Not for commercial use.