摘要:
A high-order programming language system should have language means which allow reliable and purely logical programming of a locally transparent communication between parallel programmes. For that purpose, a special data type, the so-called server type, is introduced. This data type includes references to component (objects) of a service to a service interface which is announced to the operating system.
摘要:
A high-order programming language system should have language means which allow reliable and purely logical programming of a locally transparent communication between parallel programmes. For that purpose, a special data type, the so-called server type, is introduced. This data type includes references to component (objects) of a service to a service interface which is announced to the operating system.