Generic parameters in Occam

摘要

AbstractSimple extensions to Occam procedure parameter mechanisms are proposed that reduce some of the cumbersome nature of the language. The extensions are a GENERIC formal parameter type and associated TYPEOF construct and ISTYPE operator, and facility for a LIST of parameters. The features are illustrated using simple input/output procedures based on the equivalent Pascal procedures.