The order relation of recursively defined SIL-1 nodes as part of a denotational semantics
Corrie Huijs · 1993
The semantics of the elements of SIL-1 descriptions is a combination of an order relation and a data relation on the access points involved. This semantics is described in the SIL-1 Language Report. To determine the order relation on the access points of recursively defined nodes a formal definition of this semantics is needed. In this paper the order part of a denotational semantics for SIL is presented. It is shown that the order relations of recursive nodes are well defined and uniquely determined by this formal semantics. Moreover it is discussed how the orders of recursive nodes can be derived. The order relation of recursively defined SIL-1 nodes as part of a denotational semantics 1 Table of Contents Abstract....................................................................................................................... .......... 0 Table of Contents .................................................................................................................. 1 1. ...