Metadata
Author: springer
Data
German[de]
Abschließend wird eine mögliche Implementation skizziert, die auf den generischen Konstrukten der Programmiersprache Ada basiert.
English[en]
Furthermore, we give a formal definition of the operations and data objects required and describe one way to implement them by using the generic features of Ada.