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
Adam Marshall ©University of Liverpool, 1996
Fri Dec 6 18:56:08 GMT 1996Not for commercial use.