HIGH-ORDER PROGRAMMING LANGUAGE SYSTEM FOR GENERATING A PROGRAMMING SYSTEM OF A REAL TIME 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.