Product and iteration of module specifications
- First Online:
- Cite this paper as:
- Parisi-Presicce F. (1988) Product and iteration of module specifications. In: Dauchet M., Nivat M. (eds) CAAP '88. CAAP 1988. Lecture Notes in Computer Science, vol 299. Springer, Berlin, Heidelberg
A new operation on module specifications, called iteration, is introduced. It resembles Kleene's star construction for regular languages, it is closely related to the operations of union and composition and it is motivated by the need to define potentially infinite export interfaces using a single module. The iteration of a module M can be viewed as the limit of a sequence of products of the module with itself. The construction is shown to be well defined and to provide a solution to a fixed point equation at the specification level. More general recursive definitions are discussed and certain fixed point equations solved.
Unable to display preview. Download preview PDF.